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://arc

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/