Changeset cfdeedc in mainline for boot/arch/ppc32

Timestamp:

2018-10-21T23:12:23Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

bf05c74

Parents:

d59718e

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-10-21 22:53:48)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-10-21 23:12:23)

Message:

Keep kernel in ELF format

By keeping kernel in an ELF file (instead of converting it to
a flat binary), we can use the information it contains, like
symbol table and debug info.

We can also later implement more advanced functionality, like
loading kernel at multiple discontiguous blocks, or loading
a position-independent kernel at a randomized address.

Currently the functionality is quite restricted, to keep changes
to a minimum. Code in boot/generic/src/kernel.c validates that
the kernel image was built with the same addresses as the boot
loader uses, giving an extra level of sanity checking compared
to a flat binary.

Location:

boot/arch/ppc32

Files:

• Makefile.inc (modified) (1 diff)
• _link.ld.in (modified) (1 diff)
• src/asm.S (modified) (1 diff)
• src/main.c (modified) (3 diffs)

boot/arch/ppc32/Makefile.inc

@@ -76 +76 @@
         generic/src/gzip.c \
         generic/src/tar.c \
+        generic/src/kernel.c \
         generic/src/payload.c

boot/arch/ppc32/_link.ld.in

@@ -6 +6 @@
                 loader_start = .;
                 *(BOOTSTRAP);
-                *(REALMODE);
                 *(.text);
         }

boot/arch/ppc32/src/asm.S

@@ -152 +152 @@
 FUNCTION_END(jump_to_kernel)
 
-.section REALMODE, "ax"
-
-.align PAGE_WIDTH
 SYMBOL(real_mode)
 

boot/arch/ppc32/src/main.c

@@ -42 +42 @@
 #include <errno.h>
 #include <payload.h>
+#include <kernel.h>
 
 #define BALLOC_MAX_SIZE  131072
@@ -68 +69 @@
         printf(" %p|%p: real mode trampoline\n", &real_mode, real_mode_pa);
         printf(" %p|%p: boot info structure\n", &bootinfo, bootinfo_pa);
-        printf(" %p|%p: kernel entry point\n",
-            (void *) PA2KA(BOOT_OFFSET), (void *) BOOT_OFFSET);
         printf(" %p|%p: loader entry point\n",
             (void *) LOADER_ADDRESS, loader_address_pa);
@@ -144 +143 @@
         }
 
+        uintptr_t entry = check_kernel_translated(inflate_base, 0);
+
         printf("Booting the kernel...\n");
-        jump_to_kernel(bootinfo_pa, transtable_pa, pages, real_mode_pa,
-            PA2KA(BOOT_OFFSET));
+        jump_to_kernel(bootinfo_pa, transtable_pa, pages, real_mode_pa, entry);
 }