Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
easytiger
on July 29, 2014
|
parent
|
context
|
favorite
| on:
The seL4 microkernel
Which is not referenced from the linked article. What is the point of posting something with all but no information?
yen223
on July 29, 2014
|
next
[–]
They should have submitted
http://sel4.systems/
as the link, instead of the github link.
daveasdf
on July 29, 2014
|
parent
|
next
[–]
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.
axman6
on Aug 1, 2014
|
prev
[–]
Oh, I didn't realise the linked article wasn't the actual seL4 website.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
