diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 11 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 | 17 | .PHONY: all run run-gui clean image debug release fmt bootloader boot-image disk disk-fresh inspect test-disk test-mouse test-msg |
| 18 | 18 | ||
| 19 | # ---- Build --------------------------------------------------------------- | 19 | # ---- Build --------------------------------------------------------------- |
| 20 | 20 | ||
| @@ -113,6 +113,16 @@ inspect: | |||
| 113 | test-disk: | 113 | test-disk: |
| 114 | ./scripts/test-disk.sh | 114 | ./scripts/test-disk.sh |
| 115 | 115 | ||
| 116 | # Automated PS/2 mouse round trip: boot -> inject mouse_move/mouse_button | ||
| 117 | # via the monitor -> verify /dev/mouse + the `mouse` stream -> poweroff. | ||
| 118 | test-mouse: | ||
| 119 | ./scripts/test-mouse.sh | ||
| 120 | |||
| 121 | # Automated scheduler message-queue round trip: msgrecv/send, real-input | ||
| 122 | # routing into a task's queue, queue-full boundary. | ||
| 123 | test-msg: | ||
| 124 | ./scripts/test-msg.sh | ||
| 125 | |||
| 116 | # ---- Full boot chain ----------------------------------------------------- | 126 | # ---- Full boot chain ----------------------------------------------------- |
| 117 | 127 | ||
| 118 | # Build bootloader only (rsboot submodule) | 128 | # Build bootloader only (rsboot submodule) |
