Loading...
Computers & software — programming, internet, hardware, security, AI & more.
39644 resources
Effort to create a POSIX-like operating system atop the rtmk microkernel. [Open Source, GPL]
A POSIX microkernel with roots of the Mach and FreeBSD projects. [Open source, BSD-like]