Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 08:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

boot: make linker definitions generic

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2021-06-28 12:46:04 +02:00
committed by Kent McLeod
parent 938c1c9557
commit 32d81495fa
4 changed files with 8 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
include/hardware.h
View File

@@ -46,8 +46,14 @@
/* This symbol is generated by the linker and marks the last valid
* address in the kernel's virtual region */
extern char ki_end[];
#define KERNEL_ELF_TOP ((paddr_t)(&ki_end))
extern char ki_end[1];
/* This symbol is generated by the linker and marks the end of boot
* code/data in kernel image */
extern char ki_boot_end[1];
#define KERNEL_ELF_TOP ((paddr_t)ki_end)
#define KERNEL_ELF_PADDR_TOP (KERNEL_ELF_TOP - KERNEL_ELF_BASE_OFFSET)
#endif /* __ASSEMBLER__ */

5
src/arch/arm/kernel/boot.c
View File

@@ -26,11 +26,6 @@
#ifdef CONFIG_ARM_SMMU
#include <drivers/smmu/smmuv2.h>
#endif
/* pointer to the end of boot code/data in kernel image */
/* need a fake array to get the pointer from the linker script */
extern char ki_boot_end[1];
/* pointer to end of kernel image */
extern char ki_end[1];
#ifdef ENABLE_SMP_SUPPORT
/* sync variable to prevent other nodes from booting

6
src/arch/riscv/kernel/boot.c
View File

@@ -18,12 +18,6 @@
#include <plat/machine/hardware.h>
#include <machine.h>
/* pointer to the end of boot code/data in kernel image */
/* need a fake array to get the pointer from the linker script */
extern char ki_boot_end[1];
/* pointer to end of kernel image */
extern char ki_end[1];
#ifdef ENABLE_SMP_SUPPORT
BOOT_BSS static volatile word_t node_boot_lock;
#endif

2
src/arch/x86/kernel/boot_sys.c
View File

@@ -36,8 +36,6 @@ extern char boot_stack_bottom[1];
extern char boot_stack_top[1];
/* locations in kernel image */
extern char ki_boot_end[1];
extern char ki_end[1];
extern char ki_skim_start[1];
extern char ki_skim_end[1];