hi, everyone, 1 I'd like to ask if there's possible that coreboot (ROM size larger than 256K) may run with virtualbox. Can anyone offer some help? 2 the libhal-dev in ubuntu13.10 is replaced by libedbus-dev in Linux build instructions for now. Thanks! Regards Jinyi Yan