Add bios none option

thu-cs-lab · Sep 15, 2020 · 4bc805a · 4bc805a
1 parent 070fe20
commit 4bc805a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kernel/Makefile b/kernel/Makefile
@@ -76,10 +76,10 @@ show-utest: $(TARGET)
 	@$(GCCPREFIX)objdump -D $< | grep "^[0-9a-f]\{8,16\} <UTEST_" | grep -n --color=auto 'UTEST_'
 
 sim: checkdirs $(TARGET)
-	$(QEMU) -M virt -m 32M -kernel $(TARGET) -nographic -monitor none -serial tcp::6666,server -s
+	$(QEMU) -M virt -m 32M -kernel $(TARGET) -nographic -monitor none -serial tcp::6666,server -s -bios none
 
 debug: checkdirs $(TARGET)
-	$(QEMU) -M virt -m 32M -kernel $(TARGET) -nographic -monitor stdio -serial tcp::6666,server -S -s
+	$(QEMU) -M virt -m 32M -kernel $(TARGET) -nographic -monitor stdio -serial tcp::6666,server -S -s -bios none
 
 inst: checkdirs $(TARGET)
 	@$(GCCPREFIX)objdump -d $(TARGET) -M no-aliases | awk '{print $$3}' | sort | uniq | grep -v section | grep -v format