Re: [PATCH] oskit-mach compiled without SMP

[Roland McGrath]

Thanks, I've put in those changes.  If there continue to be problems,
people might want to check the cvs logs and ChangeLog.oskit and go over the
other changes I made at the same time to start on SMP support.  The bug
noted here was a simple error of inadvertantly changing the non-SMP code, 
and the diffs might reveal other such errors.

If you've gotten partway into the device setup, then you should certainly
be far enough along to do full remote debugging with gdb over the serial
port, as I have suggested here before.  The interrupt probing is some hairy
stuff, and it's easiest to figure out by stepping through parts of it.