3 ms·
Some discussion by smart people at http://www.eros-os.org/pipermail/cap-talk/2014-June/thread.html#16120 http://www.eros-os.org/pipermail/cap-talk/2014-June/thr
by mlinksva 12y ago
Some discussion by smart people at http://www.eros-os.org/pipermail/cap-talk/2014-June/thread.html#16120 http://www.eros-os.org/pipermail/cap-talk/2014-June/thread.h... ... probably have to wait til after it is open source end of next month to say.
- cottonseed 12y agoYou can download seL4 binaries and a copy of the specification (190 pages, no proof) here: http://ssrg.nicta.com.au/software/TS/seL4/ http://ssrg.nicta.com.au/software/TS/seL4/