A 32 bit version of DanOS for hobby purposes