axvisor 0.6.2

A lightweight type-1 hypervisor based on ArceOS
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

//! Shared Axvisor kernel support.

extern crate alloc;

/// Line-safe guest output, host-log backlog, and fixed console transport.
pub mod console_mux;

#[cfg(feature = "fs")]
mod shell_fs;

/// Shell helpers shared by the Axvisor binary.
#[doc(hidden)]
pub mod shell_support {
    use alloc::string::String;

    /// Formats a text fragment submitted by the Axvisor shell.
    pub fn format_fragment(args: core::fmt::Arguments<'_>) -> String {
        alloc::fmt::format(args)
    }

    /// Formats a complete text line submitted by the Axvisor shell.
    ///
    /// The shared host-output queue preserves raw bytes because it also carries
    /// guest output. Shell-owned lines must therefore provide their own CRLF.
    pub fn format_line(args: core::fmt::Arguments<'_>) -> String {
        let mut output = format_fragment(args);
        output.push_str("\r\n");
        output
    }

    #[cfg(feature = "fs")]
    pub use super::shell_fs::{
        CopyMode, RemoveOptions, collect_directory_entry_names, copy_after_rename_failure,
        copy_operands, copy_path, ensure_recursive_destination_outside_source, ignore_remove_error,
        metadata_for_remove, move_file_or_dir, path_basename, remove_path, touch_file,
        touch_file_at,
    };

    #[cfg(test)]
    mod tests {
        use super::{format_fragment, format_line};

        #[test]
        fn shell_newline_is_a_terminal_crlf_sequence() {
            assert_eq!(format_line(format_args!("shell line")), "shell line\r\n");
            assert_eq!(format_line(format_args!("")), "\r\n");
        }

        #[test]
        fn shell_fragment_has_no_implicit_line_ending() {
            assert_eq!(format_fragment(format_args!("prompt: ")), "prompt: ");
        }
    }
}