QB / QB64 Discussion Forum      Other Subforums, Links and Downloads      Archived Pascal Resources    Search

2 more microkernels.

by Michael Calkins (Login MCalkins)
ASM Forum


A microkernel operating system, meant as an educational tool, originally written by Andrew Tanenbaum. It focuses on simplicity and reliability, including resetting crashed drivers. It is now graphical, and comes with BSD userland.

A family of high performance true microkernel operating systems, originally written by Jochen Liedtke, with a focus on performance. Earlier versions were written in assembly, current versions are written in C/C++. One variant, seL4, is formally verified as being correct, with a focus on security, reliability, and correctness.


Posted on Aug 21, 2017, 8:41 PM

Respond to this message   

Return to Index

 Copyright © 1999-2017 Network54. All rights reserved.   Terms of Use   Privacy Statement