Hallo, Matt, Du meintest am 25.06.13: >> Not really... let's just document "make bios". > There's preliminary documentation in doc/building.txt. And "make bios" has run without any problem on my machine. Seems to be an EFI related problem. Viele Gruesse! Helmut