selfe-start 0.1.0

Crate defining the entry point to the initial thread on seL4
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

global_asm!(
    r###"
.global _sel4_start
.global _start
.global _stack_bottom
.text

_start:
_sel4_start:
    ldr x19, =_stack_top
    mov sp, x19
    /* x0, the first arg in the calling convention, is set to the bootinfo
     * pointer on startup. */
    bl __sel4_start_init_boot_info
    /* zero argc, argv */
    mov x0, #0
    mov x1, #0
    /* Now go to the "main" stub that rustc generates */
    bl main
.pool
    .data
    .align 16
    .bss
    .align 16

_stack_bottom:
    .space 2097152
_stack_top:
"###
);