Det finns en sida som heter linuxbios eller något liknande. Man byter helt enkelt ut bios mot en liten linux version (Som jag har förstått det iaf)