diff --git a/configs/safety_island.sh b/configs/safety-island.sh
similarity index 84%
rename from configs/safety_island.sh
rename to configs/safety-island.sh
index 539a64d..9903bcd 100644
--- a/configs/safety_island.sh
+++ b/configs/safety-island.sh
@@ -1,7 +1,7 @@
 #!/bin/bash -e
 
-export PULPRT_TARGET=safety_island
-export PULPRUN_TARGET=safety_island
+export PULPRT_TARGET=safety-island
+export PULPRUN_TARGET=safety-island
 
 if [  -n "${ZSH_VERSION:-}" ]; then
         DIR="$(readlink -f -- "${(%):-%x}")"
diff --git a/rules/pulpos/targets/safety_island.mk b/rules/pulpos/targets/safety-island.mk
similarity index 74%
rename from rules/pulpos/targets/safety_island.mk
rename to rules/pulpos/targets/safety-island.mk
index 6f16dde..0c7fba2 100644
--- a/rules/pulpos/targets/safety_island.mk
+++ b/rules/pulpos/targets/safety-island.mk
@@ -2,13 +2,9 @@
 PULP_LDFLAGS +=
 PULP_CFLAGS += -D__cv32e40p__ -U__riscv__ -UARCHI_CORE_HAS_PULPV2
 
-PULP_ARCH_CFLAGS ?=  -march=rv32imcxgap9
-PULP_ARCH_OBJDFLAGS ?= -march=riscv32imcxgap9
-PULP_ARCH_OBJDFLAGS ?= -Mmarch=rv32imcxgap9
-
-# PULP_ARCH_CFLAGS ?=  -march=rv32imc_zfinx_xcorev -mno-nohwloop
-# PULP_ARCH_LDFLAGS ?=  -march=rv32imc_zfinx_xcorev -mno-nohwloop
-# PULP_ARCH_OBJDFLAGS ?=
+PULP_ARCH_CFLAGS    ?= -march=rv32imc_zfinx_xcorev -mabi=ilp32 -mno-pulp-hwloop
+PULP_ARCH_LDFLAGS   ?= -march=rv32imc_zfinx_xcorev -mabi=ilp32 -mno-pulp-hwloop
+PULP_ARCH_OBJDFLAGS ?= 
 
 PULP_CFLAGS    += -fdata-sections -ffunction-sections -include chips/safety-island/config.h -I$(PULPRT_HOME)/include/chips/safety-island
 PULP_OMP_CFLAGS    += -fopenmp -mnativeomp