Just my x86 (maybe ARM later) mini-kernel experiments