blob: 444bbf638309ca8cfac16a4cab450a8e7f199c59 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
ENTRY(_boot) /* defined in boot.S; qemu needs it to run elf file */
SECTIONS
{
/* Starts at 0x8000 - that's where RPis in 32-bit mode load */
/* kernel at. My experiments do, however, show, that qemu */
/* emulating RPi2 loads the kernel at 0x10000! (took some pain */
/* to find out). rpi-open-firmware, on the other hand, loads */
/* kernel at 0x2000000! */
/* This is not really a problem, since: */
/* 1. We can use our bootloader to load the kernel at 0x8000 */
/* 2. Stage 1 of the bootloader is written in careful */
/* assembly, so that the loader itself should work */
/* regardless of where it is loaded. */
/* 3. In qemu, we can load kernel.elf instead of raw binary */
/* (qemu will do the right thing then) */
. = 0x8000;
/* RPi in 64-bit mode uses address 0x80000 instead */
__start = .;
.kernel :
{
__kernel_start = .;
KEEP(boot.o)
. = ALIGN(4);
ramfs_embeddable.o
*(EXCLUDE_FILE (libkernel.o interrupt_vector.o interrupts.o) *)
__kernel_end = .;
}
__kernel_size = __kernel_end - __kernel_start;
.interrupts :
{
__interrupts_start = .;
KEEP(*(.interrupts.vector))
interrupt_vector.o
interrupts.o
__interrupts_end = .;
}
__interrupts_size = __interrupts_end - __interrupts_start;
__end = .;
_stack_top = __start;
}
|
