The top documents tagged [courtesy of gernot heiser]

Affordable trustworthy-systems
Software Affordable trustworthy-systems

258 views

Microkernel design
Software Microkernel design

326 views