starry-kernel 0.7.6

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
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

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

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

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

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

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

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

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

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

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

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