Turn off the SMP=1 in the top Makefile
> Then, the kernel will boot ONLY if SMP is NOT defined at compile time.
Correct - IRQ 13 does something totally different in SMP mode. (BTW if
someone is crazy enough to want to work on this some IBM dual 486 boards
have 486SLC + FPU delivering a local IRQ 13 to each CPU) - we dont support
that either
Alan