On Wed, Mar 11, 2015 at 02:40:39PM -0400, Kevin O'Connor wrote: > For what it's worth, I can't seem to trigger the problem if I move the > cmos read above the SIPI/LAPIC code (see patch below).
Ugh! That's a seabios bug. Main processor modifies the rtc index (rtc_read()) while APs try to clear the NMI bit by modifying the rtc index (romlayout.S:transition32). I'll put together a fix. -Kevin
