running 9 tests
K623 EL1, DAIF masked and 16-KiB stack normalized
K624 unsupported EL0/EL2/EL3 rejected without changing valid state
test extent_underflow_rejected ... ok
test os_entry_level_positive ... ok
test os_entry_level_negative ... ok
test unmasked_irq_rejected ... ok
test stack_at_lower_boundary_rejected ... ok
test stack_beyond_upper_boundary_rejected ... ok
test unaligned_stack_pointer_rejected ... ok
test wrong_extent_rejected ... ok
test unmasked_fiq_rejected ... ok

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

   Compiling turkos-os-entry-level v0.1.0 (<project>/os-entry-level)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.56s
     Running tests/level.rs (reports/os-implementation/K621-K624-T4sejM/target/debug/build/turkos-os-entry-level/668801ca52b216e7/out/level-668801ca52b216e7)