22:13:37froggeyso that kind of hints at there being a HPET or something similar doing PIT emulation
22:14:37froggeyif all the IRQ7 messages start when the timer IRQ is unmasked, that kind of points to something being wrong with how the timer is connected to the PIT
22:14:52froggeylike it's set for level triggered when it should be edged triggered, or something like that
22:15:24froggeybut I really don't have a clue and am just guessing at this point...
22:16:47froggeyfitzsim: does linux get booted through grub or is it loaded directly as a coreboot payload?
23:20:11fitzsimfroggey: it's still uploading: https://www.fitzsim.org/scratch/mezzano/cbmemc-1.mp4
23:21:06fitzsimthe angle was sort of tricky, so the video is wobbly, but mplayer with '.' to do frame advance gives a clear snapshot of each page, at least for one or two frames