But have you tried Minix3? One of THE academic micro kernels!

Eventually we should reverse engineer the Imagination PowerVR graphic and write an open source driver for that, too! You can support my work at: or ordering stuff you need via Amazon:

linux,kernel,install,update,compile,build,bsd,xorg,wayland,low,level,bare,metal,driver,source,minix,compare,review,test,performance,hurd,