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
|
#[path = "../unsupported/os.rs"]
pub mod os;
#[path = "../unsupported/pipe.rs"]
pub mod pipe;
pub mod time;
#[expect(dead_code)]
#[path = "../unsupported/common.rs"]
mod unsupported_common;
pub use unsupported_common::{
decode_error_kind, init, is_interrupted, unsupported, unsupported_err,
};
use crate::arch::global_asm;
use crate::ptr;
use crate::sys::stdio;
use crate::time::{Duration, Instant};
global_asm!(
r#"
.section .boot, "ax"
.global _boot
_boot:
ldr sp, =__stack_top @ Set up the user stack.
b _start @ Jump to the Rust entrypoint.
"#
);
#[cfg(not(test))]
#[unsafe(no_mangle)]
pub unsafe extern "C" fn _start() -> ! {
unsafe extern "C" {
static mut __bss_start: u8;
static mut __bss_end: u8;
fn main() -> i32;
}
// Clear the .bss (uninitialized statics) section by filling it with zeroes.
// This is required, since the compiler assumes it will be zeroed on first access.
ptr::write_bytes(
&raw mut __bss_start,
0,
(&raw mut __bss_end).offset_from_unsigned(&raw mut __bss_start),
);
main();
cleanup();
abort_internal()
}
// SAFETY: must be called only once during runtime cleanup.
// NOTE: this is not guaranteed to run, for example when the program aborts.
pub unsafe fn cleanup() {
let exit_time = Instant::now();
const FLUSH_TIMEOUT: Duration = Duration::from_millis(15);
// Force the serial buffer to flush
while exit_time.elapsed() < FLUSH_TIMEOUT {
vex_sdk::vexTasksRun();
// If the buffer has been fully flushed, exit the loop
if vex_sdk::vexSerialWriteFree(stdio::STDIO_CHANNEL) == (stdio::STDOUT_BUF_SIZE as i32) {
break;
}
}
}
pub fn abort_internal() -> ! {
unsafe {
vex_sdk::vexSystemExitRequest();
loop {
vex_sdk::vexTasksRun();
}
}
}
|
