Changeset 204 for trunk/tools

Timestamp:

Jul 17, 2017, 8:42:59 AM (7 years ago)

Author:

alain

Message:

Bug fix in kernel_init
-This line, and those below, will be ignored--

M params.mk
M kernel_config.h
M Makefile
M hdd/virt_hdd.dmg
M tools/bootloader_tsar/boot.c
M kernel/libk/bits.h
M kernel/libk/elf.c
M kernel/libk/xhtab.c
M kernel/libk/elf.h
M kernel/libk/xhtab.h
M kernel/devices/dev_pic.c
M kernel/mm/vmm.c
M kernel/mm/mapper.c
M kernel/mm/mapper.h
M kernel/vfs/devfs.h
M kernel/vfs/vfs.c
M kernel/vfs/vfs.h
M kernel/vfs/devfs.c
M kernel/kern/chdev.h
M kernel/kern/kernel_init.c
M kernel/kern/process.c
M kernel/kern/process.h
M hal/tsar_mips32/core/hal_remote.c
M hal/tsar_mips32/drivers/soclib_pic.c

File:

• trunk/tools/bootloader_tsar/boot.c (modified) (3 diffs)

trunk/tools/bootloader_tsar/boot.c

@@ -347 +347 @@
     uint32_t             irq_id;
     uint32_t             end;
-    uint32_t             rsvd_pages; 
     boot_device_t      * boot_dev; 
 
@@ -394 +393 @@
     }
 
-    ///////////////////////////////////////////////////
-    // loop on arch-info peripherals in io_cluster, 
-    // to initialize the boot_info array of external peripherals
+    //////////////////////////////////////////////////////////
+    // initialize the boot_info array of external peripherals
 
 #if DEBUG_BOOT_INFO
@@ -579 +577 @@
     }  // end loop on local peripherals
 
-    // initialize number of external peripherals
+    // initialize number of internal peripherals
     boot_info->int_dev_nr = device_id;