Checking turkos-os-page-tables v0.1.0 (<project>/os-page-tables)
    Checking turkos-os-runtime-platform v0.1.0 (<project>/os-runtime-platform)
    Checking turkos-os-frame-metadata v0.1.0 (<project>/os-frame-metadata)
    Checking turkos-os-frame-authority v0.1.0 (<project>/os-frame-authority)
    Checking turkos-os-mapping v0.1.0 (<project>/os-mapping)
    Checking turkos-os-page-faults v0.1.0 (<project>/os-page-faults)
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.34s