[Rio-pm] Kernel

[Randal L. Schwartz]

>>>>> "Stanislaw" == Stanislaw Pusep <creaktive at gmail.com> writes:

Stanislaw> Boa tarde, André! Pelo que entendi, você precisa desses conceitos para fins
Stanislaw> didáticos. Se for o caso, recomendo usar como exemplos esses dois sistemas
Stanislaw> operacionais feitos em assembly: MenuetOS (http://www.menuetos.net/)
Stanislaw> e BareMetal OS (http://www.returninfinity.com/baremetal.html). Assim, o elo
Stanislaw> entre assembly e processador fica mais evidente. Agora, como antítese, vale
Stanislaw> lembrar que um kernel pode ser algo muito abstrato e quase que totalmente
Stanislaw> desvinculado de "linguagens de baixo nível": seL4 (
Stanislaw> http://ertos.org/research/sel4/) tem 8700 linhas em C e apenas 600 em
Stanislaw> assembler, o que permitiu uma verificação formal de que o OS seja isento de
Stanislaw> erros de programação (sim, soa absurdo, mas esse paper explica:
Stanislaw> http://ertos.org/publications/papers/Klein_EHACDEEKNSTW_09.pdf).

There are also versions of Squeak Smalltalk that boot directly to the
metal.

-- 
Randal L. Schwartz - Stonehenge Consulting Services, Inc. - +1 503 777 0095
<merlyn at stonehenge.com> <URL:http://www.stonehenge.com/merlyn/>
Smalltalk/Perl/Unix consulting, Technical writing, Comedy, etc. etc.
See http://methodsandmessages.posterous.com/ for Smalltalk discussion