somehal 0.4.6

Boot kernel code with mmu.
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

. = {kimage_vaddr};
PAGE_SIZE = {page_size};

EXTERN(__pie_boot_default_secondary);
EXTERN(__somehal_handle_irq_default);

PROVIDE(__pie_boot_secondary = __pie_boot_default_secondary);
PROVIDE(__somehal_handle_irq = __somehal_handle_irq_default);

SECTIONS{
    .head.text : {
        _text = .;
        KEEP(*(.head.text))
    }
    .idmap.text : ALIGN(64){
        _idmap_text = .;
        KEEP(*(.idmap.text))
        . = ALIGN(PAGE_SIZE);
        _idmap_text_end = .;
    }
}

SECTIONS{ 
    .boot_loader : ALIGN(PAGE_SIZE) {
        __boot_loader_start = .;
        KEEP(*(.boot_loader))
        __boot_loader_end = .;
    }
} INSERT BEFORE .data

ASSERT(PAGE_SIZE != 0x0, "PAGE_SIZE must be defined");