The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/
30 Day SummaryFeb 26 2024 — Mar 27 2024
|
12 Month SummaryMar 27 2023 — Mar 27 2024
|