In case someone is interested, for my FOSDEM talk “Celebrating kernel diversity with Genode”, I crafted a single Sculpt 24.10 USB demo image containing 5 kernels, NOVA, HW, NOVAe, seL4, Fiasco.OC.