diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
| @@ -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) |
| 15 | export DISK_IMG ?= /tmp/disk.img | 15 | export 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: | |||
| 121 | test-gfx: | 121 | test-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. | ||
| 126 | test-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. |
| 126 | test-msg: | 131 | test-msg: |
