Hello Patrice!
What we should do is a MiNT loader for AUTO folder, where you select the kernel you want to load. So you don't have to mess with \auto folder content anymore when you update a MiNT kernel, and keep several MiNT kernels available.
That's indeed a good idea. Someone volunter? Regards, Frank -- ATARI FALCON 060 // MILAN 060 ----------------------------- http://sparemint.org/ e-Mail: fnaumann@boerde.de