Conveniently enough, I just generated myself a pdf of it: [link redacted] | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		_xg6h on July 29, 2014 \| parent \| context \| favorite \| on: The seL4 microkernel Conveniently enough, I just generated myself a pdf of it: [link redacted]

bjourne on July 29, 2014 [–]

Thanks

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact