RE: SMP problems with Thinkpad X60s
Jan Stoess <[email protected]> Mon, 14 Jul 2008 16:15:13 +0200
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Thanks, Julian, I could quickly reproduce the error using your roottask on one of our 4-core systems. I have just committed a couple of fixes that potentially solve your problem. Can you please pull the most recent pistachio version and let me know whether it works for you? -Jan -- Jan Stoess System Architecture Group University of Karlsruhe Phone: +49 (721) 608-4056 Fax: +49 (721) 608-7664 eMail: [email protected]
smime.p7s
(application/x-pkcs7-signature, 3.1 KB) - not displayed