running 18 tests
test origin_negative_bootinfo_in_dtb_position_is_rejected ... ok
test origin_negative_checked_range_rejects_empty_overflow ... ok
test origin_negative_all_truncated_header_lengths_are_rejected ... ok
test origin_negative_image_dtb_overlap_is_rejected_on_both_paths ... ok
test origin_negative_image_and_dtb_outside_ram_are_rejected ... ok
test origin_negative_nonzero_x1_without_payload_is_not_silently_direct ... ok
test origin_negative_payload_aliasing_dtb_is_rejected ... ok
test origin_negative_map_overflow_and_unknown_flags_never_fall_back ... ok
test origin_negative_bad_register_pointers_are_rejected ... ok
test origin_negative_zero_x1_with_payload_is_not_silently_direct ... ok
test origin_negative_truncated_and_corrupt_dtb_are_rejected ... ok
test origin_negative_version_size_magic_have_explicit_errors ... ok
test origin_positive_result_owns_header_metadata ... ok
test origin_negative_wrong_address_labels_are_rejected ... ok
test os_boot_contract_origin_negative ... ok
test origin_positive_adjacent_image_and_dtb_do_not_overlap ... ok
test origin_positive_mapped_slice_can_contain_bytes_after_dtb ... ok
test os_boot_contract_origin_positive ... ok

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

   Compiling typenum v1.20.1
   Compiling libc v0.2.190
   Compiling cfg-if v1.0.5
   Compiling turkos-bootinfo v0.0.1 (<project>/bootinfo)
   Compiling hybrid-array v0.4.15
   Compiling crypto-common v0.2.2
   Compiling block-buffer v0.12.1
   Compiling cpufeatures v0.3.1
   Compiling digest v0.11.3
   Compiling sha2 v0.11.0
   Compiling turkos-kernel v0.0.1 (<project>/kernel)
   Compiling turkos-os-runtime v0.0.1 (<project>/os-runtime)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 1.58s
     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