summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9604893..4c57ac2 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ export BOOT_EFI=$(ESP_DIR)/EFI/BOOT/BOOTX64.EFI
14# Create one with: make disk (or: ./scripts/mkdisk.sh) 14# Create one with: make disk (or: ./scripts/mkdisk.sh)
15export DISK_IMG ?= /tmp/disk.img 15export DISK_IMG ?= /tmp/disk.img
16 16
17.PHONY: all run run-gui clean image debug release fmt bootloader boot-image disk disk-fresh inspect test-disk test-mouse test-gfx test-msg 17.PHONY: all run run-gui clean image debug release fmt bootloader boot-image disk disk-fresh inspect test-disk test-mouse test-gfx test-fault test-msg
18 18
19# ---- Build --------------------------------------------------------------- 19# ---- Build ---------------------------------------------------------------
20 20
@@ -121,6 +121,11 @@ test-mouse:
121test-gfx: 121test-gfx:
122 ./scripts/test-gfx.sh 122 ./scripts/test-gfx.sh
123 123
124# Fault-diagnostics round trip: boot -> `fault` (deliberate page fault) ->
125# verify the full dump (vec/err/rip/cr2/task) hits serial + screen -> halt.
126test-fault:
127 ./scripts/test-fault.sh
128
124# Automated scheduler message-queue round trip: msgrecv/send, real-input 129# Automated scheduler message-queue round trip: msgrecv/send, real-input
125# routing into a task's queue, queue-full boundary. 130# routing into a task's queue, queue-full boundary.
126test-msg: 131test-msg: