seL4
laot-pub
Anonymous
EDS

See sel4 for details but in summary:

  1. Gernot to add