3 ms·
Sel4 would like to have a word. Inb4 you move the goalposts for "at scale". This is an operating system with capability-based access control which is not some
by throwawaymaths 4y ago
Sel4 would like to have a word.
Inb4 you move the goalposts for "at scale". This is an operating system with capability-based access control which is not something that most operating systems even have.
Also the cryptographic constraints are part of the proof system.
- int_19h 4y agoI'm not sure Sel4 can be considered "at scale", given the rather extreme amount of effort that went into it.
- throwawaymaths 4y agoyou just moved the goalposts.