News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by yen223 on Tuesday July 29, 2014 @05:49AM (#8101392)
They should have submitted http://sel4.systems/ as the link, instead of the github link.
[ Parent | on HN ]
Re:The seL4 microkernel by daveasdf on Tuesday July 29, 2014 @07:03AM (#8101604)
I'm not sure who submitted the link (I don't think it was anyone from the seL4 team), but I inserted the http://sel4.systems/ link into the repo's README file, which will hopefully help a little.
[ Parent | on HN ]