我正在为我的树莓派开发一个玩具操作系统并尝试设置 MMU。我想在 3G:1G 之间分割虚拟内存,所以我认为我的代码应该链接在 0xC0008000,而在执行时加载到 0x8000。(0x8000 是当前引导加载程序期望找到内核的地址——因为它们是为 linux 构建的)。
我认为通过使用 objdump 来设置一切都很好,但它不起作用。在使用 qemu 进行一些调试后,我认为引导加载程序根本找不到我的代码。
我相信问题出在我的链接脚本上,因为如果我将起始代码移动到它自己的部分,该部分既链接又加载在 0x8000 处,内核就可以正常启动。
我已经提取了脚本和最少的代码。如下,
$ cat kernel.ld
ENTRY(_start)
SECTIONS
{
/* must == KERNLINK */
. = 0xC0008000;
.text : AT(0x8000) {
*(.text)
}
.bss : {
*(.bss)
}
.data : {
*(.data)
}
.rodata : {
*(.rodata)
}
}
-
$ cat source/entry.S
#include "mem.h"
.globl _start
_start = V2P(entry)
.globl entry
entry:
loop$:
b loop$
(“b loop$”不起作用,因为它是作为“b·c0008000”而不是使用相对分支生成的。但不要介意那部分,问题是它永远不会到达入口)。
$ cat source/mem.h
#define KERNLOAD 0x8000
#define KERNBASE 0xC0000000
#define KERNLINK (KERNBASE+KERNLOAD)
#define V2P(va) ((va) - KERNBASE)
这些是仅有的三个源文件。Makefile 中应该没有什么有趣的东西,但是 make 的输出是,
$ make
arm-none-eabi-gcc -g -Wall -c -o build/entry.o source/entry.S
arm-none-eabi-ld --no-undefined -T kernel.ld build/entry.o -Map kernel.map -o build/output.elf
arm-none-eabi-objcopy build/output.elf -O binary kernel.img
和 objdump,
$ arm-none-eabi-objdump -h build/output.elf
build/output.elf: file format elf32-littlearm
Sections:
Idx Name Size VMA LMA File off Algn
0 .text 00000004 c0008000 00008000 00008000 2**0
CONTENTS, ALLOC, LOAD, READONLY, CODE
1 .ARM.attributes 00000014 00000000 00000000 00008004 2**0
CONTENTS, READONLY
2 .debug_line 0000003c 00000000 00000000 00008018 2**0
CONTENTS, READONLY, DEBUGGING
3 .debug_info 00000054 00000000 00000000 00008054 2**0
CONTENTS, READONLY, DEBUGGING
4 .debug_abbrev 00000014 00000000 00000000 000080a8 2**0
CONTENTS, READONLY, DEBUGGING
5 .debug_aranges 00000020 00000000 00000000 000080c0 2**3
CONTENTS, READONLY, DEBUGGING
我开始相信我忽略了一些明显但珍贵的细节。
==== 更新 ====
正如我在下面的回答中所指出的,混淆是由 qemu 中的调试引起的。断点由虚拟地址设置。“b entry”不起作用,因为 gdb 正在考虑虚拟地址,而 MMU 尚未启用并且我们正在通过物理地址运行。
所以在启用 MMU 之前,我们必须使用“b *0x8000”。这会设置一个正确命中的断点。不过 GDB 似乎仍然很困惑,因为它没有显示任何调试信息(没有源代码,如0x00008004 in ?? ()
)。这不是一个大问题,因为我有“objdump -D”生成的列表。
在启用 MMU 并且我们分支到 main 之后,gdb 可以正常工作。关键是使用绝对分支跳转到虚拟地址。b/bl
会发出相对跳跃。所以我用ldr pc =main
. bx
也可以。