Changeset 380 for soft/giet_vm

Timestamp:

Aug 5, 2014, 4:20:14 PM (10 years ago)

Author:

alain

Message:

Introducing a drivers library (libdrivers.a) to reduce the kernel.elf and boot.elf sizes

Location:

soft/giet_vm

Files:

• Makefile (modified) (7 diffs)
• giet_config.h (modified) (2 diffs)

soft/giet_vm/Makefile

@@ -6 +6 @@
 LD = mipsel-unknown-elf-ld
 DU = mipsel-unknown-elf-objdump
+AR = mipsel-unknown-elf-ar
 
 ARCH ?= ../tsar-trunk-svn-2013/platforms/tsar_generic_iob
-X    ?= 2
-Y    ?= 2
-P    ?= 2
+X    ?= 16
+Y    ?= 8
+P    ?= 4
 APP  ?= convol
 
@@ -21 +22 @@
 ### partition sectors    = 524832 
 
-### Objects to be linked for kernel.elf
-KERNEL_OBJS  = build/common/utils.o       \
-               build/common/vmem.o        \
-               build/fat32/fat32.o        \
-               build/drivers/dma_driver.o \
+### Objects to be linked for the drivers static library
+DRIVERS_OBJS = build/drivers/dma_driver.o \
                build/drivers/cma_driver.o \
                build/drivers/fbf_driver.o \
@@ -42 +40 @@
                build/drivers/tim_driver.o \
                build/drivers/tty_driver.o \
-               build/drivers/pic_driver.o \
+               build/drivers/pic_driver.o
+
+### Objects to be linked for kernel.elf
+KERNEL_OBJS  = build/common/utils.o       \
+               build/common/vmem.o        \
+               build/fat32/fat32.o        \
                build/kernel/giet.o        \
                build/kernel/switch.o      \
@@ -55 +58 @@
                build/common/vmem.o        \
                build/fat32/fat32.o        \
-               build/drivers/dma_driver.o \
-               build/drivers/tty_driver.o \
-               build/drivers/pic_driver.o \
-               build/drivers/xcu_driver.o \
-               build/drivers/ioc_driver.o \
-               build/drivers/iob_driver.o \
-               build/drivers/bdv_driver.o \
-               build/drivers/sdc_driver.o \
-               build/drivers/spi_driver.o \
-               build/drivers/rdk_driver.o \
-               build/drivers/mmc_driver.o \
-               build/drivers/mwr_driver.o \
                build/kernel/ctx_handler.o \
                build/kernel/switch.o      \
@@ -313 +304 @@
         $(CC) $(GIET_INCLUDE) $(CFLAGS)  -c -o $@ $<
 
+################################
+### drivers library compilation
+build/drivers/libdrivers.a: $(DRIVERS_OBJS)
+        $(AR) -rcs $@ $(DRIVERS_OBJS)
+
 ##########################
 ### common compilation
@@ -336 +332 @@
 ### boot compilation
 build/boot/boot.elf: $(BOOT_OBJS)            \
-                     giet_boot/boot.ld
-        $(LD) -o $@ -T giet_boot/boot.ld $(BOOT_OBJS) 
+                     giet_boot/boot.ld       \
+                     build/drivers/libdrivers.a
+        $(LD) -o $@ -T giet_boot/boot.ld $(BOOT_OBJS) -Lbuild/drivers -ldrivers  
         $(DU) -D $@ > $@.txt
 
@@ -357 +354 @@
 ### kernel compilation
 build/kernel/kernel.elf: $(KERNEL_OBJS)        \
-                         giet_kernel/kernel.ld 
-        $(LD) -o $@ -T giet_kernel/kernel.ld $(KERNEL_OBJS)
+                         giet_kernel/kernel.ld \
+                         build/drivers/libdrivers.a
+        $(LD) -o $@ -T giet_kernel/kernel.ld $(KERNEL_OBJS) -Lbuild/drivers -ldrivers   
         $(DU) -D $@ > $@.txt
 

soft/giet_vm/giet_config.h

@@ -16 +16 @@
 
 #define BOOT_DEBUG_MAPPING       0          /* trace map_info checking */
-#define BOOT_DEBUG_PT                0          /* trace page tables initialisation */
-#define BOOT_DEBUG_VOBJS             0          /* trace vobjs initialisation */
-#define BOOT_DEBUG_SCHED             0          /* trace schedulers initialisation */
+#define BOOT_DEBUG_PT            0          /* trace page tables initialisation */
+#define BOOT_DEBUG_VOBJS         0          /* trace vobjs initialisation */
+#define BOOT_DEBUG_SCHED         0          /* trace schedulers initialisation */
 #define BOOT_DEBUG_PERI          0          /* trace peripherals initialisation */
 #define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
 
-#define GIET_DEBUG_INIT              0          /* trace kernel initialisation */
+#define GIET_DEBUG_INIT          0          /* trace kernel initialisation */
 #define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
-#define GIET_DEBUG_SWITCH            0          /* trace context switchs  */
+#define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
 #define GIET_DEBUG_IRQS          0          /* trace interrupts */
 #define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
@@ -37 +37 @@
 /* software parameters */
 
-#define GIET_ELF_BUFFER_SIZE     0x60000    /* Temporary buffer for .elf files */
+#define GIET_ELF_BUFFER_SIZE     0x20000    /* Temporary buffer for .elf files 128 Kbytes */
 #define GIET_IDLE_TASK_PERIOD    0xFFFFFFFF /* Idle Task message period */
 #define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
 #define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
-#define GIET_NB_VSPACE_MAX           64         /* max number of virtual spaces */
+#define GIET_NB_VSPACE_MAX       64         /* max number of virtual spaces */
 #define GIET_TICK_VALUE          0x00008000 /* context switch period (number of cycles) */
 #define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */