running 3 tests
K608 profile=256MiB BootInfoV1=owned; source mutation ignored
K608 profile=512MiB BootInfoV1=owned; source mutation ignored
K608 profile=1024MiB BootInfoV1=owned; source mutation ignored
test header_positive_ignores_trailing_readable_bytes ... ok
test header_positive_prefix_accepts_only_first_sixteen_bytes ... ok
test os_boot_contract_header_positive ... ok

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

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
     Running tests/boot_header.rs (reports/os-implementation/K606-K609-dHreLg/target/debug/build/turkos-os-boot-header/d401b44f41192269/out/boot_header-d401b44f41192269)