RE: problem with booting SMP linux kernel

[Gin]

> bad mp table would be my guess.

I think the I/O APICs are incorrectly assigned to buses. From the kernel
messages, devices on bus 0 are transformed to high IRQs.

Can anyone one confirm that the mptable.c under src/tyan/s2735 is a good
one to boot SMP linux kernel? I might need to manually construct the MP
table for my board according to a good one.

Thanks,
gin