starry-kernel 0.7.1

A Linux-compatible OS kernel built on ArceOS unikernel
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

#![cfg_attr(target_os = "none", no_std)]
#![cfg_attr(target_os = "none", no_main)]

use ax_std as _;
use starry_kernel::axtest_exports;

#[axtest::tests]
mod tests {
    use axtest::prelude::*;

    use super::axtest_exports;

    #[test]
    fn user_stack_layout_is_inside_user_space() {
        ax_assert!(axtest_exports::user_space_base() < axtest_exports::user_stack_top());
        ax_assert!(axtest_exports::user_stack_size() > 0);
        ax_assert!(
            axtest_exports::user_stack_top()
                <= axtest_exports::user_space_base() + axtest_exports::user_space_size()
        );
    }

    #[test]
    fn signal_trampoline_is_page_aligned() {
        ax_assert_eq!(axtest_exports::signal_trampoline() & 0xfff, 0);
    }

    #[test]
    fn timespec_rejects_invalid_nsec() {
        ax_assert!(axtest_exports::invalid_timespec_is_rejected());
    }

    #[test]
    fn random_write_mixes_entropy() {
        ax_assert!(axtest_exports::random_write_mixes_entropy());
    }

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

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

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

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