#options ACCELERATOR_MAX_OPS=8 # fixed by the ISA, more or less
#options ACCELERATOR_MAX_SLOTS=4 # should we allow redef in specific config? at runtime?
# Standard exec-package options
options EXEC_ELF32 # 32-bit ELF support (native format)
options EXEC_SCRIPT # exec of #! scripts