Built device interrupts

2026-07-03 12:57:40 +01:00
parent c8e89e8115
commit 5ea521d054
12 changed files with 367 additions and 23 deletions
@@ -63,6 +63,9 @@ CASES = [
    {"name": "smoke",
     "expect": r"DANOS-TEST-RESULT: PASS",
     "fail":   r"DANOS-TEST-RESULT: FAIL"},
+    {"name": "timer",
+     "expect": r"DANOS-TEST-RESULT: PASS",
+     "fail":   r"DANOS-TEST-RESULT: FAIL"},
    {"name": "fault-ud", "expect": r"invalid opcode \(vector 6\)"},
    {"name": "fault-pf", "expect": r"page fault \(vector 14\)"},
    {"name": "fault-df", "expect": r"double fault \(vector 8\)"},