Last change
on this file since 279 was
279,
checked in by alain, 7 years ago
|
1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.
|
File size:
763 bytes
|
Line | |
---|
1 | /******************************************************************************* |
---|
2 | * This is the linker script for the ALMOS-MKH TSAR kernel. |
---|
3 | * It describes the memory layout for the "kernel.elf" binary file. |
---|
4 | ******************************************************************************/ |
---|
5 | |
---|
6 | /* Define the kernel code base address */ |
---|
7 | |
---|
8 | seg_kcode_base = 0x00004000; |
---|
9 | seg_kgiet_base = 0x80000000; |
---|
10 | |
---|
11 | /* Set the entry point (e_entry field in the "kernel.elf" file header) */ |
---|
12 | |
---|
13 | ENTRY(kernel_init) |
---|
14 | |
---|
15 | /* Describe how to group the sections */ |
---|
16 | |
---|
17 | SECTIONS |
---|
18 | { |
---|
19 | . = seg_kcode_base; |
---|
20 | seg_kcode : |
---|
21 | { |
---|
22 | *(.text) |
---|
23 | *(.rodata*) |
---|
24 | } |
---|
25 | |
---|
26 | . = ALIGN(0x1000); |
---|
27 | |
---|
28 | seg_kdata : |
---|
29 | { |
---|
30 | *(.kinfo) |
---|
31 | *(.kidle) |
---|
32 | *(.kdata*) |
---|
33 | *(.data*) |
---|
34 | } |
---|
35 | |
---|
36 | . = seg_kgiet_base; |
---|
37 | seg_kgiet : |
---|
38 | { |
---|
39 | *(.kgiet) |
---|
40 | } |
---|
41 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.