使用x86_64-elf链接器生成的32位内核二进制达129MB且含大量零值

问题根源 #

你遇到的129MB超大二进制文件问题，核心原因是链接器默认会把所有段的完整地址空间写入二进制文件，包括未初始化数据段（BSS）的空洞。没有自定义链接脚本时，链接器会从-Ttext 0x1000开始，将所有段的地址范围完整填充，哪怕中间是大量无意义的零值。

解决方案 #

1. 添加自定义链接脚本 #

创建linker.ld文件，明确段布局，让链接器跳过BSS段的零值写入（改为运行时手动初始化）：

ENTRY(kernel_entry)

SECTIONS {
    . = 0x1000;

    /* 代码段 */
    .text : {
        *(.text)
    }

    /* 只读数据段 */
    .rodata : {
        *(.rodata)
    }

    /* 已初始化数据段 */
    .data : {
        *(.data)
    }

    /* 未初始化数据段：仅记录起止地址，不写入二进制 */
    .bss : {
        bss_start = .;
        *(.bss)
        bss_end = .;
    }

    . = ALIGN(4);
}

2. 修改Makefile的链接命令 #

替换原ld命令，使用刚创建的链接脚本：

kernel.bin: boot/kernel-entry.o ${OBJ_FILES} 
    x86_64-elf-ld -m elf_i386 -o $@ -T linker.ld $^ --oformat binary

3. 手动初始化BSS段 #

因为链接器不再写入BSS段的零值，需要在内核启动时手动清零该段，避免未初始化变量的随机值问题：

• 若用汇编入口（如kernel-entry.asm），添加：

; 清零BSS段
mov eax, bss_start
mov ecx, bss_end
sub ecx, eax
mov edi, eax
mov al, 0
rep stosb

• 若用C语言初始化，在main函数最开头添加：

extern char bss_start[], bss_end[];

void init_bss() {
    char *ptr = bss_start;
    while (ptr < bss_end) {
        *ptr++ = 0;
    }
}

4. 排查超大未初始化变量 #

检查代码中是否存在类似char huge_array[1024*1024*128];的超大未初始化全局变量，这类变量会直接膨胀BSS段，导致链接器生成大文件，必要时改为动态分配或调整大小。

验证效果 #

修改后重新编译，kernel.bin会大幅缩小——链接器只会写入代码段、只读数据段和已初始化数据段的实际内容，不再填充BSS段的空洞。

内容的提问来源于stack exchange，提问作者Saul Chavez Sanchez