On 02/16/13 15:00, Nick Hudson wrote:
I'll look at why a non-MP kernel crashes later.
I committed a fix for this problem. The next daily build should have the fix for you to try. Nick