running 4 tests
test origin_positive_mapped_slice_can_contain_bytes_after_dtb ... ok
test origin_positive_adjacent_image_and_dtb_do_not_overlap ... ok
test origin_positive_result_owns_header_metadata ... ok
test os_boot_contract_origin_positive ... ok

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

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.01s
     Running tests/boot_contract.rs (reports/os-implementation/K601-K604-bSl4iH/target/debug/build/turkos-os-runtime/783d0bec6651390d/out/boot_contract-783d0bec6651390d)
K603 profile=256MiB direct-image/uefi-bootinfo-v1 RAM=equal; host-only
K603 profile=512MiB direct-image/uefi-bootinfo-v1 RAM=equal; host-only
K603 profile=1024MiB direct-image/uefi-bootinfo-v1 RAM=equal; host-only