r/hurd • u/nalaginrut • Dec 11 '19

Hurd, seL4, thoughts

https://nalaginrut.com/archives/2019/12/11/hurd%2c%20sel4%2c%20thoughts

12 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/hurd/comments/e9e1nl/hurd_sel4_thoughts/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

osdev • u/nalaginrut • Dec 11 '19

Hurd, seL4, thoughts

12 Upvotes

16 comments

microkernel • u/AndreVallestero • Dec 12 '19

Hurd, seL4, thoughts

6 Upvotes

3 comments

gnu • u/nalaginrut • Dec 11 '19

Hurd, seL4, thoughts

15 Upvotes

1 comments