1. To je prvi operativni sistem koji je formalno verifikovan (ne pitajte me sta to znaci) http://en.wikipedia.org/wiki/Program_verification
2. Pisan je u jeziku koji nalikuje LISP-u a usput ima mogucnosti koje su karakteristicne za C i omogucava pisanje OS-a. Jezik se zove BitC http://www.coyotos.org/docs/bitc/spec.html#1. Joj covece, nema lepse kombinacije ;)
Ako zelite da procitate vise o OS-u http://www.coyotos.org/docs/ukernel/spec.html
Interesuje me sta vi mislite o ovoj novoj zvezdi na OS nebu :)
PoZZ
Ken Thompson has an automobile which he helped design. Unlike most automobiles, it has neither speedometer, nor gas gauge, nor any of the other numerous idiot lights which plague the modern driver. Rather, if the driver makes a mistake, a giant “?” lights up in the center of the dashboard. “The experienced driver,” says Thompson, “will usually know what’s wrong.”