3 ms·

L4Ka: Pistachio Microkernel

• doener 9mo ago
  The project seems orphaned. I never heard about it before. It's still referenced here as an option to run Genode OS: https://genode.org/about/index https://genode.org/about/index
  • araes 9mo ago
    Thanks, had almost no idea what I was even looking at with the reference. Originally thought maybe it was some weird academic variant of Linux. After a bit of searching, apparently it's part of the L4 OS family. (More Unix) Wikipedia has a summary in the L4 microkernel family article. https://en.wikipedia.org/wiki/L4_microkernel_family#L4Ka::Pistachio https://en.wikipedia.org/wiki/L4_microkernel_family#L4Ka::Pi...
  • rurban 9mo ago
    Replaced by Fiasco