Coyotos

Encyclopedia : C : CO : COY : Coyotos

---

Coyotos is a security-focused operating system currently being developed by researchers[link] at the Johns Hopkins University's Systems Research Laboratory[link]. It is a successor to the EROS system.

Objectives

Though it has many objectives, one of the most interesting is to become the first formally verified operating system. To support this, the Coyotos project is concurrently developing a new programming language called BitC and a new compiler called BitCC.

Microkernel

Coyotos uses a microkernel approach which "retains the atomicity and pure capability-based design of the EROS system"[link], but which uses a new asynchronous communications model, and "introduces a more efficient memory mapping mechanism". Compare this with the Mach and L4 family of microkernels.

History

Coyotos is considered by its creators to be an "evolutionary step" [link] beyond the EROS operating system, which in turn was derived from KeyKOS. The primary developer of EROS was Jonathan Shapiro, and he is also a driving force behind Coyotos. A more in-depth history is located at [link].

External links

• [Coyotos web page]
• [EROS web page]
• [KeyKOS web page]
• [Jonathan Shapiro's web page]
• [BitC web page]

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?