> My colleague wrote a short ebook and the intro has a good summary

Can you recommend books or papers on how the kernel works, and what makes it better than e.g. L4/sel4 or Mach?