L4 microkernel family

2022年3月27日 (日) 01:38的版本

您可以在Wikipedia上了解到此条目的英文信息 L4 microkernel family Thanks, Wikipedia.

L4 is the name of a second-generation µ-kernel (microkernel) designed and implemented by Jochen Liedtke, running on i486 and Pentium CPUs.

Powered By

• L4Linux
• GNU/Hurd on L4

http://os.inf.tu-dresden.de/L4/use.html

Links

• http://os.inf.tu-dresden.de/L4/
• http://download.huihoo.com/l4/
• http://docs.huihoo.com/l4/