running 1 test
test os_gic_budget_negative ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 25 filtered out; finished in 0.00s

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
     Running tests/gic.rs (reports/os-implementation/K921-K939-preparation-7Bk1ve/target/debug/build/turkos-os-gic/504a3f6ce8f6a297/out/gic-504a3f6ce8f6a297)