The project seems orphaned. I never heard about it before. It's still referenced... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		doener 45 days ago \| parent \| context \| favorite \| on: L4Ka: Pistachio Microkernel 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 45 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 44 days ago | [–]

Replaced by Fiasco

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact