This is from 2015, not sure if it's that old. https://github.com/tomga/genode/co... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

bicolao on Sept 21, 2016 | parent | context | favorite | on: L4 microkernels: The lessons from 20 years of rese...

This is from 2015, not sure if it's that old.

https://github.com/tomga/genode/commit/c8a64b5c3465cde1723b2...

pawadu on Sept 21, 2016 [–]

I think the latest version is 5 or 6. The one you pointed to seems to be pretty old:

    OKL4 Release 2.1
    ================
    
    Date: 15 April 2008

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact