There's obviously lots of lovely DEBUG messages in the FreeMiNT kernel that I'm trying to see without having to recompile the whole kernel, and using sysctl seems to be able to do this. So, what's the right way to enable kernel debugging in FreeMiNT 1.15.12 ?? Using sysctl -w debug=XX doesn't seem quite right and I'm missing something. Thanks, Alan.