running 0 tests

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


running 10 tests
test device_pages_are_kernel_only_and_never_executable ... ok
test four_level_indices_cover_each_bit_boundary ... ok
test missing_accessflag_and_unknown_mair_slot_are_refused ... ok
test normal_user_rx_and_rw_have_exact_direct_permissions ... ok
test known_virtual_address_walks_to_owned_physical_page ... ok
test rwx_and_kernel_execution_of_user_code_are_refused ... ok
test physical_width_and_page_alignment_never_truncate ... ok
test owned_table_cycle_and_foreign_table_stop_the_walk ... ok
test strict_table_bits_and_unsupported_extensions_are_refused ... ok
test three_level_walk_and_empty_guard_stop_without_backing ... ok

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


running 14 tests
test stale_page_reference_and_foreign_owner_cannot_map_reused_storage ... ok
test metadata_capacity_preflight_never_acquires_partial_table_chain ... ok
test active_root_cannot_be_detached_or_freed_and_actual_token_is_returned ... ok
test second_table_enospc_publishes_no_prefix_and_returns_exact_inventory ... ok
test final_parent_store_failure_reclaims_unreachable_staged_tables ... ok
test detach_and_complete_tlbi_precede_each_intermediate_reclaim ... ok
test shared_kernel_tables_stay_borrowed_and_cannot_be_mutated_or_reclaimed ... ok
test failed_rollback_keeps_actual_registry_handle_without_published_prefix ... ok
test reclaim_failure_retains_detached_table_and_page_release_retry_keeps_token ... ok
test three_level_geometry_uses_two_intermediates_and_refuses_duplicate_leaf ... ok
test owned_four_level_chain_and_known_physical_translation ... ok
test replacement_permissions_publish_only_after_old_root_is_quiescent ... ok
test user_writable_executable_aliases_are_refused_across_all_activatable_roots ... ok
test replacement_root_preserves_page_owner_and_live_mapping_after_old_retirement ... ok

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


running 0 tests

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

   Compiling turkos-os-runtime-platform v0.1.0 (<project>/os-runtime-platform)
   Compiling turkos-os-frame-metadata v0.1.0 (<project>/os-frame-metadata)
   Compiling turkos-os-page-tables v0.1.0 (<project>/os-page-tables)
   Compiling turkos-os-frame-authority v0.1.0 (<project>/os-frame-authority)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.59s
     Running unittests src/lib.rs (reports/os-implementation/K801-K819-bFalcS/target/debug/build/turkos-os-page-tables/4ab232e33edf8e63/out/turkos_os_page_tables-4ab232e33edf8e63)
     Running tests/descriptor.rs (reports/os-implementation/K801-K819-bFalcS/target/debug/build/turkos-os-page-tables/b64cd06aa99d6d91/out/descriptor-b64cd06aa99d6d91)
     Running tests/tree.rs (reports/os-implementation/K801-K819-bFalcS/target/debug/build/turkos-os-page-tables/351e0aca2c5181f2/out/tree-351e0aca2c5181f2)
   Doc-tests turkos_os_page_tables