Worth comparing to Dan Ingalls' Lively Kernel https://www.lively-kernel.org/