Changeset 279 for trunk/hal/tsar_mips32/kernel.ld

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 years ago)

Author:

alain

Message:

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:

• trunk/hal/tsar_mips32/kernel.ld (modified) (2 diffs)

trunk/hal/tsar_mips32/kernel.ld

@@ -5 +5 @@
 
 /* Define the kernel code base address */
-kernel_base = 0x4000;
 
-/*
- * Set the entry point of the boot-loader (e_entry field in the "boot.elf"
- * file header)
- */
+seg_kcode_base = 0x00004000;
+seg_kgiet_base = 0x80000000;
+
+/* Set the entry point (e_entry field in the "kernel.elf" file header) */
 
 ENTRY(kernel_init)
 
-/*
- * Describe how to group the sections
- */
+/* Describe how to group the sections */
+
 SECTIONS
 {
-        . = kernel_base;
+        . = seg_kcode_base;
         seg_kcode :
         {
@@ -35 +33 @@
                 *(.data*)
         }
+
+    . = seg_kgiet_base;
+    seg_kgiet :
+    {
+                *(.kgiet)
+    }
 }