3 ms·
Which is not referenced from the linked article. What is the point of posting something with all but no information?
by easytiger 12y ago
Which is not referenced from the linked article. What is the point of posting something with all but no information?
- yen223 12y agoThey should have submitted http://sel4.systems/ http://sel4.systems/ as the link, instead of the github link.
- daveasdf 12y agoI'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/ http://sel4.systems/ link into the repo's README file, which will hopefully help a little.
- axman6 12y agoOh, I didn't realise the linked article wasn't the actual seL4 website.