I feel like those benchmarks should be redone with modern hardware (x86_64) and a modern microkernel (minix 3.3). CPU cycles are cheap this days, yet cache mis

I feel like those benchmarks should be redone with modern hardware (x86_64) and a modern microkernel (minix 3.3). CPU cycles are cheap this days, yet cache misses are even more expensive (need to touch main memory? please wait 300 cycles).