|
Last change
on this file since 279 was
279,
checked in by alain, 8 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.
