microkerneldude

16 Followers

6 SlideShares 16 Followers

6 SlideShares 16 Followers

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

Aktivität
Info

Affordable trustworthy-systems

Vor 9 Jahren • 1381 Aufrufe

seL4 intro

Vor 9 Jahren • 3104 Aufrufe

From L3 to seL4: What have we learnt in 20 years of L4 microkernels

Vor 9 Jahren • 1425 Aufrufe

Microkernel design

Vor 9 Jahren • 2391 Aufrufe

Flying Autonomous Aircraft: Mixed-Criticality Support in seL4

Vor 6 Jahren • 1113 Aufrufe

The Quest for the Perfect API

Vor 4 Jahren • 462 Aufrufe

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