CONFIG_MANTIS_CORE=m