Human Folly about “kernel”

index

• Engler95Exokernel (pdos.csail.mit.edu):

  #PDF of the #exokernel #osdev #kernel #paper

  on 02024-08-27
• (dl.acm.org):

  the #exokernel #paper by Dawson Engler, Frans Kaashoek, and James O’Toole Jr. from 01995. #osdev #kernel

  on 02024-08-27
• Virtualghost asplos (sva.cs.illinois.edu):

  The Virtual Ghost #security #kernel thingy limits kernel access to hardware to be via “a thin hardware abstraction layer” imposed by a combination of compiler instrumentation (#LLVM) and runtime checks on OS code, without using “a higher privilege level than the kernel”

  on 02015-08-05