The seL4 microkernel

Re:The seL4 microkernel by easytiger on Tuesday July 29, 2014 @03:03AM (#8101031)

Thanks, the given link couldn't have contained less information if it tried

[ Parent | on HN ]

Re:The seL4 microkernel by axman6 on Tuesday July 29, 2014 @04:15AM (#8101182)

The FAQ[1] has a hell of a lot of info about what seL4 does and does not do.

[1] http://sel4.systems/FAQ

[ Parent | on HN ]

Re:The seL4 microkernel by easytiger on Tuesday July 29, 2014 @05:27AM (#8101350)

Which is not referenced from the linked article. What is the point of posting something with all but no information?

[ Parent | on HN ]

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 ]

Re:The seL4 microkernel by axman6 on Friday August 01, 2014 @04:35AM (#8118837)

Oh, I didn't realise the linked article wasn't the actual seL4 website.

[ Parent | on HN ]