INCLUDE tuxOS_iso_head.cfg

DEFAULT arch64
TIMEOUT 150

INCLUDE tuxOS_iso_sys-linux.cfg

INCLUDE tuxOS_iso_tail.cfg