More information about Flux OSToolkit can be found at http://www.cs.utah.edu/projects/flexmach/.
0.97
x86
open source
Freely to plug your own schduler into it
VM support with its own LMM( list-based memory manager )
N.A.
N.A.
NetBSD also supports others like FreeBSD, Linux
It's a toolkit used for people to construct their own OS.
It provides all core components needed to construct an OS, such as Bootstrap, memory management, device drivers. Claimed to be easy to use and several research groups are using it now.
Return to microkernel summaries.
Return to my home.