running 25 tests
test cpu_reserved_encodings_bad_frequency_and_wrong_level_rejected ... ok
test cpu_does_not_invent_a_virtual_gic_feature_bit ... ok
test bank_capacity_and_invalid_reservation_leave_inputs_unchanged ... ok
test allocator_rejects_gap_reserved_foreign_and_double_release ... ok
test duplicate_and_zero_phandles_rejected ... ok
test firmware_authority_intersection_preserves_gaps_and_reserved_pages ... ok
test empty_firmware_set_never_restores_dtb_authority ... ok
test broken_header_sections_and_truncation_rejected ... ok
test full_fragment_metadata_can_release_into_existing_adjacent_region ... ok
test discovered_addresses_move_with_the_reg_record ... ok
test duplicate_property_and_property_after_child_rejected ... ok
test os_platform_features_negative ... ok
test os_platform_features_positive ... ok
test os_platform_devices_negative ... ok
test os_platform_ram_negative ... ok
test missing_compatible_terminator_and_mmio_in_ram_rejected ... ok
test os_platform_ram_positive ... ok
test whole_page_rounding_withholds_partial_ram_and_reservation_edges ... ok
test provider_argument_cells_are_bounded_and_not_mistaken_for_phandles ... ok
test root_parser_multi_bank_integration_gap_is_explicit ... ok
test os_platform_tree_positive ... ok
test os_platform_devices_positive ... ok
test platform_admission_is_single_owner_publication ... ok
test bounded_walk_rejects_each_resource_limit ... ok
test os_platform_tree_negative ... ok

test result: ok. 25 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 turkos-os-runtime-platform v0.1.0 (<project>/os-runtime-platform)
   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)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 1.83s
     Running tests/platform.rs (reports/os-implementation/K681-K699-EIVbNv/target/debug/build/turkos-os-runtime-platform/c9d45d950d3548f7/out/platform-c9d45d950d3548f7)