Index: /branches/v4/platforms/tsarv4_mono_mmu_ioc/Makefile
===================================================================
--- /branches/v4/platforms/tsarv4_mono_mmu_ioc/Makefile	(revision 637)
+++ /branches/v4/platforms/tsarv4_mono_mmu_ioc/Makefile	(revision 638)
@@ -34,4 +34,9 @@
 	SIMULATOR_TRACE=--trace $(TRACE)
 endif
+# vmlinux
+SIMULATOR_VMLINUX=./vmlinux
+ifeq ("$(origin VMLINUX)", "command line")
+	SIMULATOR_VMLINUX=$(VMLINUX)
+endif
 
 # recipes
@@ -45,5 +50,5 @@
 
 run_dummy_boot: all vmlinux disk.img
-	$(SIMULATOR_GDB) $(SIMULATOR_CMD) --rom vmlinux --dsk disk.img --dummy-boot $(SIMULATOR_TRACE)
+	$(SIMULATOR_GDB) $(SIMULATOR_CMD) --rom $(SIMULATOR_VMLINUX) --dsk disk.img --dummy-boot $(SIMULATOR_TRACE)
 
 cscope.out: