Si ton Infinity a un firmware à jour (1.54), alors tu as aussi un mode DEV2, c'est à dire le boot direct sur le disque dur - en plus du mode DEV1, qui est le boot sur la carte mémoire.

Concrètement, launchElf fait très bien le travail: tu copies le fichier \HDL\HDL.ELF (qui est installé dans ta carte mémoire par le kit) sur une clé USB. Sur cette clé USB, tu le renommes en "boot.elf" (entièrement en minuscules). Puis tu copies ce "boot.elf" dans la partition appelée "__boot" du disque dur. Si tu rebootes en appuyant sur L1, HDLoader sera démarré directement du disque dur.