Hello!
So, what's the right way to enable kernel debugging in FreeMiNT 1.15.12 ??You need for sure to run a debug kernel. In the normal kernel (as it was released as 1.15.12) are no debug messages.
This is because the debug messages make the kernel much bigger and slower. Regards, Frank -- ATARI FALCON 060 // MILAN 060 ----------------------------------------- http://www.cs.uni-magdeburg.de/~fnaumann/ e-Mail: fnaumann@freemint.de