RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

boot: Allocate init bookkeeping structs in bss

Browse Source 
ndks_boot, rootserver and rootserver_mem don't contain any non-zero init
values and can be moved to bss so they don't take up space in the ELF.
ndks_boot contains a sparse struct that is > 4MiB on x86_64 and so this
change allows the x86_64 ELF to return to < 200KiB.

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod
2020-11-04 09:50:39 +11:00
committed by Oliver Scott
parent 0101071f70
commit 1f82755ef6
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/kernel/boot.c
View File

@@ -18,10 +18,10 @@
#include <util.h>
/* (node-local) state accessed only during bootstrapping */
ndks_boot_t ndks_boot BOOT_DATA;
ndks_boot_t ndks_boot BOOT_BSS;
rootserver_mem_t rootserver BOOT_DATA;
static region_t rootserver_mem BOOT_DATA;
rootserver_mem_t rootserver BOOT_BSS;
static region_t rootserver_mem BOOT_BSS;
BOOT_CODE static void merge_regions(void)
{