starry-kernel 0.8.1

A Linux-compatible OS kernel built on ArceOS unikernel
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use axtest::prelude::*;
use starry_kernel::axtest_exports;

#[axtest]
fn nofault_user_read_recovers_unmapped_address() {
    ax_assert!(axtest_exports::nofault_user_read_recovers_unmapped_address());
}

#[axtest]
fn page_fault_completion_updates_only_success() {
    ax_assert!(axtest_exports::page_fault_completion_updates_only_success());
}

#[axtest]
fn cow_clone_failure_rollback_rules_hold() {
    ax_assert!(axtest_exports::cow_clone_failure_rollback_rules_hold());
}

#[axtest]
fn thread_page_table_lease_follows_task_lifetime() {
    ax_assert!(axtest_exports::thread_page_table_lease_follows_task_lifetime());
}