seL4

• Capability Security Advances: seL4, sandstorm, Rserve | 2014-08-13 | programming | security | capabilities | python | javascript | vm | seL4

  seL4 is open source, sandstorm.io is coming, and Rserve has an ocap mode.

  ---