NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
L4Ka: Pistachio Microkernel (l4ka.org)
doener 6 days 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
araes 6 days 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::Pi...

rurban 5 days ago [-]
Replaced by Fiasco
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 17:07:56 GMT+0000 (Coordinated Universal Time) with Vercel.