Hi How big is linuxbios? will 256K byte of flash do? I only have a flash burner that will burn 512k byte. I need to know before I download the source. Thanks