On Mon, Aug 29, 2011 at 05:50:10PM +0200, Jan Kiszka wrote: > QEMU does not provide a HPET block if it was configured with -no-hpet, > other machines SeaBIOS runs on may lack a HPET as well. Perform basic > checks the ID register for a reasonable vendor ID and a clock period > within the valid range, do not build the HPET table if that fails.
It looks okay to me. BTW, any particular reason to use 0x05F5E100 instead of 100000000? -Kevin