[HN Gopher] L4Ka: Pistachio Microkernel
       ___________________________________________________________________
        
       L4Ka: Pistachio Microkernel
        
       Author : doener
       Score  : 3 points
       Date   : 2026-02-01 18:41 UTC (4 hours ago)
        
 (HTM) web link (www.l4ka.org)
 (TXT) w3m dump (www.l4ka.org)
        
       | doener wrote:
       | 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
        
       ___________________________________________________________________
       (page generated 2026-02-01 23:01 UTC)