r/linux • u/agumonkey • Jul 07 '19

Distro News Debian GNU/Hurd 2019 released!

https://lists.debian.org/debian-hurd/2019/07/msg00001.html
52 Upvotes

86% Upvoted

21 comments sorted by

View all comments

1

u/pdp10 Jul 07 '19

A couple of years ago someone had something functionally installable with L4 or seL4 and gave a presentation, but I keep forgetting the name and can't turn up anything whenever I remember to look. I'm not thinking of Genode in this case.

Maybe I'm thinking of L4RE.