diff --git a/os6-ref/Makefile b/os6-ref/Makefile
index 31c21bbf4..feb9ce172 100644
--- a/os6-ref/Makefile
+++ b/os6-ref/Makefile
@@ -63,7 +63,3 @@ dbg: build
 	qemu-system-riscv64 -machine virt -nographic -bios $(BOOTLOADER) -device loader,file=$(KERNEL_BIN),addr=$(KERNEL_ENTRY_PA) -drive file=$(FS_IMG),if=none,format=raw,id=x0 -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0 -s -S
 
 .PHONY: build env kernel clean fs-img
-
-[profile.release]
-debug = true
-opt-level = 0