Man kann sich btw. auch einen Echtzeit Linux-Kernel backen