Last change
on this file since 280 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
|
Rev | Line | |
---|
[63] | 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 | |
---|
[279] | 8 | seg_kcode_base = 0x00004000; |
---|
| 9 | seg_kgiet_base = 0x80000000; |
---|
[63] | 10 | |
---|
[279] | 11 | /* Set the entry point (e_entry field in the "kernel.elf" file header) */ |
---|
| 12 | |
---|
[63] | 13 | ENTRY(kernel_init) |
---|
| 14 | |
---|
[279] | 15 | /* Describe how to group the sections */ |
---|
| 16 | |
---|
[63] | 17 | SECTIONS |
---|
| 18 | { |
---|
[279] | 19 | . = seg_kcode_base; |
---|
[63] | 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 | } |
---|
[279] | 35 | |
---|
| 36 | . = seg_kgiet_base; |
---|
| 37 | seg_kgiet : |
---|
| 38 | { |
---|
| 39 | *(.kgiet) |
---|
| 40 | } |
---|
[63] | 41 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.