L4KA microkernel-开源

【文件属性】：

文件名称：L4KA microkernel-开源

文件大小：450KB

文件格式：BZ2

更新时间：2024-05-21 13:44:47

开源软件

L4Ka微内核是在多个平台（x86，ARM，MIPS，PPC，68K）上运行的L4兼容微内核。 现在的正式名称是L4Ka ::榛子。 该内核已停止使用L4Ka ::开心果。 见http://l4ka.org/