running 2 tests
test os_user_copy_write_negative ... ok
test os_user_copy_write_positive ... ok

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

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
     Running tests/user_copy.rs (reports/os-implementation/K861-K879-preparation-i9HtBB/target/debug/build/turkos-os-user-copy/5970609a3e73beab/out/user_copy-5970609a3e73beab)