diff --git a/kgdb.sh b/kgdb.sh
index efcd2af..2e4f187 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -29,7 +29,7 @@
 PROGRAM=out/shodan_boot_rom/multihart_boot_rom.elf
 REMOTE=localhost:3333
 
-CANTRIP_OUT=out/cantrip/${TARGET}/debug
+CANTRIP_OUT=out/cantrip/${PLATFORM}/debug
 MATCHA_OUT=out/matcha/riscv32imc-unknown-none-elf/debug
 
 USE_SEL4_EXTENSIONS="true"
diff --git a/kmem.sh b/kmem.sh
index b6e4d69..9b85891 100755
--- a/kmem.sh
+++ b/kmem.sh
@@ -40,7 +40,8 @@
     exit 1
 fi
 
-TARGET=${TARGET:-riscv32-unknown-elf}
+# NB: should always be set but default anyway
+PLATFORM=${PLATFORM:-shodan}
 
 # Default is a summary of release build.
 DETAILS=""
@@ -101,6 +102,6 @@
 
 parseargv "$@"
 
-CANTRIP_OUT="${ROOTDIR}/out/cantrip/${TARGET}/${BUILD}"
+CANTRIP_OUT="${ROOTDIR}/out/cantrip/${PLATFORM}/${BUILD}"
 PYTHONPATH="${PYTHONPATH}:${ROOTDIR}/cantrip/projects/capdl/python-capdl-tool"
 exec python3 "${ROOTDIR}/cantrip/tools/seL4/kmem-tool/kmem.py" --object-state "${CANTRIP_OUT}/object-final.pickle" ${DETAILS} ${KERNEL} ${VERBOSE}