The multikernel: a new OS architecture for scalable multicore systems
an 80 - tile 1 . 28tflops network - on - chip in 65nm cmos .