It would be awesome to see some microkernel operating systems benchmarks.
  • redox
  • fuchsia
  • minix
  • genode
  • hurd