mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 02:43:15 +01:00
938672f7c9
Changed l4id_t type to integer to recognise negative id values like L4_ANYTHREAD. Added an extremely simple script that cleans and builds everything in right order. Increased boot pmds by one: This is due to the fact that if the 1MB initial allocation area of the kernel is not 1MB-aligned, it is ought to be mapped from the middle of one MB to next, which requires 2 pmds. modified: .gdbinit modified: README new file: buildall.sh modified: include/l4/arch/arm/types.h modified: include/l4/generic/scheduler.h modified: loader/kernel.S modified: loader/main.c modified: loader/mylink.lds modified: loader/start.axf.S modified: src/glue/arm/init.c modified: src/glue/arm/memory.c modified: tasks/fs0/src/bdev.c modified: tasks/mm0/include/kdata.h modified: tasks/mm0/include/vm_area.h modified: tasks/mm0/src/init.c modified: tasks/mm0/src/task.c modified: tools/ksym_to_lds.py modified: tools/l4-qemu
36 lines
547 B
Plaintext
36 lines
547 B
Plaintext
/*
|
|
* Simple linker script for userspace or svc tasks.
|
|
*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
ENTRY(_start)
|
|
|
|
SECTIONS
|
|
{
|
|
. = 0x2000000;
|
|
.text : { *(.text) }
|
|
.rodata : { *(.rodata) }
|
|
.rodata1 : { *(.rodata1) }
|
|
.data :
|
|
{
|
|
_start_kernel = .;
|
|
*(.kernel)
|
|
_end_kernel = .;
|
|
_start_bootdesc = .;
|
|
*(.bootdesc)
|
|
_end_bootdesc = .;
|
|
_start_mm0 = .;
|
|
*(.mm0)
|
|
_end_mm0 = .;
|
|
_start_fs0 = .;
|
|
*(.fs0)
|
|
_end_fs0 = .;
|
|
_start_test0 = .;
|
|
*(.test0)
|
|
_end_test0 = .;
|
|
*(.data)
|
|
}
|
|
.got : { *(.got) *(.got.plt) }
|
|
.bss : { *(.bss) }
|
|
}
|