Mint.ini

From SpareMiNT Wiki

This file is automatically created, so any comments you might add will be lost the next time FreeMiNT alters this file. There is normally no need to edit this file manually, all options can be set in the boot menu. The only exception is the boot delay, which can only be altered by editing this file.

Example mint.ini:

# This file is automatically created,
# do not edit.
 
XFS_LOAD=YES
XDD_LOAD=YES
EXE_AUTO=YES
MEM_PROT=YES
INI_STEP=NO
DEBUG_LEVEL=1
DEBUG_DEVNO=2
BOOT_DELAY=2
INI_SAVE=YES