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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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