M3 – Microkernel-based system for heterogeneous manycoresgithub.com/TUD-OS8 pointspeter_d_sherman5 years ago