Index: soft/giet_vm/Makefile
===================================================================
--- soft/giet_vm/Makefile	(revision 434)
+++ soft/giet_vm/Makefile	(revision 435)
@@ -121,5 +121,6 @@
                build/libs/spin_lock.o
 
-CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 -g -O2
+CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 -g -O2 \
+		 -fno-delete-null-pointer-checks
 
 GIET_INCLUDE = -Igiet_boot    \