3 ms·

According to one of the talks I watched, they are moving towards using more domain-specific languages.

• nickpsecurity 10y ago
  That's ambiguous. Are you talking about seL4 or CertiKOS people?
  • indolering 10y ago
    The seL4 team, they have taken this approach with their drivers and ext2 implementation. Apparently it is part of a more general strategy [0]. [0] https://archive.fosdem.org/2015/schedule/event/sel4/ https://archive.fosdem.org/2015/schedule/event/sel4/
    • nickpsecurity 10y ago
      Ok. Good they're doubling down on it.