RE: SMP problems with Thinkpad X60s

Hello Julian,

What seems strange to me is that there is no sign of the second processor
during bootup. CPU1 should come up right after CPU0 has sent the startup IPI
and then print the same initialization output on the console as CPU0 does
again (e.g., local APIC id=1, version=20 etc.). Your configuration seems to
be ok, though. Could you tell me, which compiler you are using? If you look
at http://l4ka.org/projects/pistachio/buildstatus/hg.php, you can see that,
for example, 4.3.1 won't work. Did you test an uniprocessor version
(possibly with and without APIC) support beforehand? Did that work? 

-Jan
--
Jan Stoess
System Architecture Group
University of Karlsruhe
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
eMail: [email protected]