> I think that Mario is right: mint/ seems also the best solution for me. > multitos/ might be still used for the AES, but it is not logical that MiNT > searches for XDDs and XFSs there. And introducing a complete new name like > mintboot/ would cause incompatibility with old programs like GEMSetup! I vote for mint/. Semper Fi, SWE!