> Linux Kernel 448KB + BOCHS 64 KB + Video BIOS 48 KB = 560KB ouch! you don't need a linux kernel in your flash though then..