3 ms·

The FAQ[1] has a hell of a lot of info about what seL4 does and does not do. [1] http://sel4.systems/FAQ http://sel4.systems/FAQ

• 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 ago
    They should have submitted http://sel4.systems/ http://sel4.systems/ as the link, instead of the github link.
    • daveasdf 12y ago
      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/ http://sel4.systems/ link into the repo's README file, which will hopefully help a little.
  • axman6 12y ago
    Oh, I didn't realise the linked article wasn't the actual seL4 website.