Hasty Briefsbeta

L4Ka: Pistachio Microkernel

3 days ago
https://www.l4ka.org/65.php
Copy Link
  • #operating-systems
  • #microkernel
  • #L4
  • L4Ka::Pistachio is a microkernel developed by the University of Karlsruhe and UNSW.
  • It implements the L4 Version 4 kernel API (X.2), supporting 32/64-bit and multiprocessor systems.
  • Written in C++, it emphasizes performance and portability across multiple architectures.
  • Supported architectures include x86-x64, x86-x32, and PowerPC 32-bit.
  • Documentation includes the L4 Version X.2 Reference Manual, Whitepaper, and FAQ.
  • Discussions occur via a mailing list and IRC (#elf|ka on irc.slashnet.org).
  • Available under the BSD license, accessible via remote Mercurial.
AboutLogin