4 ms·
> are written entirely in Assembly for optimal speed, simplicity, and manageability of the code So not optimized for safety.
by dons 12y ago
> are written entirely in Assembly for optimal speed, simplicity, and manageability of the code
So not optimized for safety.
- loup-vaillant 12y agoI want a Coq kernel! But seriously, I'm not sure writing the stuff in assembly can also optimise simplicity and manageability. Though we are talking about the obsolete X86 architecture here. More reasonable hardware[1] will likely be easier to compile to. [1]: http://millcomputing.com/ http://millcomputing.com/
- Symmetry 12y agoThere is seL4 http://sel4.systems/ http://sel4.systems/