Mots-clés
sel4
operating systems
gernot heiser
nicta
unsw
microkernels
l4
performance
microkernel
api design
sasos
l4 microkernel
mungi
safety
scheduling
mixed criticality
real-time
ipc
implementation
design
device drivers
policy vs mechanism
embedded
cost
formal methods
verification
security
trustworthiness
dependability
Tout plus