Yes, I read about it in the German Wikipedia (https://de.wikipedia.org/wiki/L4_(... | Hacker News

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

login

doener on Jan 21, 2019 | parent | context | favorite | on: Genode OS: A tool kit for highly secure special-pu...

Yes, I read about it in the German Wikipedia (https://de.wikipedia.org/wiki/L4_(Mikrokernel)), but the link provided there as a source does not work anymore: http://ertos.nicta.com.au/research/l4.verified

The other link provided is a press release in German: http://pressetext.de/news/090817022/sicherheits-beweis-fuer-...

doener on Jan 21, 2019 [–]

PS: As always I recommend https://www.deepl.com/translator for translation.

ColanR on Jan 21, 2019 | [–]

Thanks for mentioning that site. Did not know about it, glad I do now.

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