> > The thing that scares me is that the TinyBIOS seems to know that we want
> > to use the MFGPT timers, and I wonder if they did anything behind the scenes
> > to "help us out" even though we didn't ask for it.
> >
> > I don't know how easy it would be for you - but can you try reading
> > MSRs 0x51400020 - 0x51400023? If you need a command line app to do it,
> > you can use rdmsr from here:
> >
> >
http://wiki.laptop.org/go/Flashing_LinuxBIOS_on_A-Test_Boards
>
> MSR register 0x51400020 => b7:ef:5f:f4:bf:d1:95:68
> MSR register 0x51400021 => b7:fd:1f:f4:bf:cf:5a:d8
> MSR register 0x51400022 => b7:f3:bf:f4:bf:f5:fb:a8
> MSR register 0x51400023 => b7:fb:9f:f4:bf:fd:d9:f8