ºÝºÝߣ
Submit Search
microkerneldude
6
ºÝºÝߣShares
16
Followers
Follow
Block User
6
ºÝºÝߣShares
16
Followers
Presentations
(6)Ìý
See all
The Quest for the Perfect API
The Quest for the Perfect API
Ìý
Flying Autonomous Aircraft: Mixed-Criticality Support in seL4
Flying Autonomous Aircraft: Mixed-Criticality Support in seL4
Ìý
Microkernel design
Microkernel design
Ìý
From L3 to seL4: What have we learnt in 20 years of L4 microkernels
From L3 to seL4: What have we learnt in 20 years of L4 microkernels
Ìý
seL4 intro
seL4 intro
Ìý
Affordable trustworthy-systems
Affordable trustworthy-systems
Ìý
