FIXTURE 256 MiB: DTB + little-endian BootInfo V1; synthetic host input only
FIXTURE 512 MiB: DTB + little-endian BootInfo V1; synthetic host input only
FIXTURE 1024 MiB: DTB + little-endian BootInfo V1; synthetic host input only
   Compiling typenum v1.20.1
   Compiling cfg-if v1.0.5
   Compiling turkos-bootinfo v0.0.1 (<project>/bootinfo)
   Compiling libc v0.2.190
   Compiling cpufeatures v0.3.1
   Compiling hybrid-array v0.4.15
   Compiling crypto-common v0.2.2
   Compiling block-buffer v0.12.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 `dev` profile [unoptimized + debuginfo] target(s) in 1.51s
     Running `reports/os-implementation/K601-K604-bSl4iH/target/debug/examples/boot-contract-fixtures <project>/reports/os-implementation/K601-K604-bSl4iH/fixtures`