I always wanted a kernel where I can experiment with the device driver model, eBPF, device tree and more. Now I've built one: