[ stale85 @ 18.09.2006. 08:15 ] @
Citajuci malo o mikro kernel arhitekturi naleteo sam na projekat Coyotos sa Johns Hopkins University. Ima dve interesantne stvari koje sam ja zapazio, a verujem da ce iskusniji od mene otkriti i mnogo vise. 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 |