Es läuft.
Man nehme:
HdDriver 7.xx (der, der beim Milan dabei war), installiere ihn mit Minimalkonfigurierung und kopiere in den Auto-Ordner HdDriver.prg in der Version 8.12.
Das nächste, was ich jetzt erledigen muß, ist mein MiNT wieder zu flicken, denn das zickt schon länger rum.