如何将两个C程序编译为单个二进制文件 使第二个从指定4KB偏移启动

1. 链接脚本配置 #

你需要分别为两个程序编写独立的链接脚本，固定程序的存储与运行地址：

• 第一个程序的链接脚本中，Flash起始地址设为设备的Flash基地址（例如常见STM32为0x08000000），Flash长度限制为4KB（0x1000），确保编译后大小不会超出预留空间。
• 第二个程序的链接脚本中，Flash起始地址设为Flash基地址 + 0x1000，长度设为剩余可用Flash大小，保证程序被链接到偏移4KB的地址区间运行。

2. 跳转逻辑实现 #

第一个程序完成条件校验后，通过以下逻辑跳转到第二个程序运行，以ARM Cortex-M架构为例：

#include <stdint.h>
// 按你的硬件实际Flash基地址调整
#define FLASH_BASE  0x08000000
#define APP2_OFFSET 0x1000
#define APP2_BASE   (FLASH_BASE + APP2_OFFSET)

typedef void (*app_entry_func)(void);

void jump_to_app2(void) {
    // 校验第二个程序的栈指针合法性（指向SRAM区间）
    if ((*(volatile uint32_t *)APP2_BASE & 0x2FFE0000) != 0x20000000) {
        return; // 非法则不跳转，继续执行第一个程序逻辑
    }

    // 跳转前关闭所有中断、复位已开启的外设，避免干扰第二个程序运行
    __disable_irq();

    // 设置栈指针为第二个程序的栈地址
    __set_MSP(*(volatile uint32_t *)APP2_BASE);
    // 读取第二个程序的复位入口地址
    app_entry_func app2_entry = (app_entry_func)(*(volatile uint32_t *)(APP2_BASE + 4));
    // 跳转到第二个程序执行
    app2_entry();
}

注：第二个程序启动时需要自行设置向量表偏移，例如ARM平台在初始化代码中配置SCB->VTOR = APP2_BASE，避免中断异常。

3. Makefile构建规则 #

直接通过objcopy提取二进制、dd命令合并生成指定布局的最终镜像，示例Makefile如下：

# 交叉编译链前缀，根据你的硬件架构调整
CROSS_COMPILE ?= arm-none-eabi-
CC := $(CROSS_COMPILE)gcc
OBJCOPY := $(CROSS_COMPILE)objcopy

# 硬件参数，按需修改
FLASH_BASE ?= 0x08000000
APP2_OFFSET := 0x1000
APP2_BASE := $(shell printf "0x%x" $$(( $(FLASH_BASE) + $(APP2_OFFSET) )) )
# 编译参数，根据你的CPU架构调整
CPU_FLAGS := -mcpu=cortex-m4 -mthumb -nostdlib

all: final.bin

# 编译第一个程序
app1.elf: app1.c app1.ld
	$(CC) $< -o $@ -Tapp1.ld $(CPU_FLAGS)

app1.bin: app1.elf
	$(OBJCOPY) -O binary $< $@

# 编译第二个程序，传入偏移后的Flash基地址给链接脚本
app2.elf: app2.c app2.ld
	$(CC) $< -o $@ -Tapp2.ld -Wl,--defsym,flash_base=$(APP2_BASE) $(CPU_FLAGS)

app2.bin: app2.elf
	$(OBJCOPY) -O binary $< $@

# 合并生成最终二进制镜像
final.bin: app1.bin app2.bin
	# 第一步：将第一个程序填充至4KB大小，不足部分补0
	dd if=app1.bin of=$@ bs=4096 count=1 conv=sync
	# 第二步：将第二个程序写入4KB偏移位置，不截断前面的内容
	dd if=app2.bin of=$@ bs=4096 seek=1 conv=notrunc

clean:
	rm -f *.elf *.bin final.bin

4. 注意事项 #

• 第一个程序的链接脚本限制了Flash大小为4KB，若编译后超出限制链接器会直接报错，方便提前排查问题。
• 若你的校验逻辑包含第二个程序完整性校验，可先计算第二个程序的CRC值存储在镜像预留位置，跳转前对比校验通过再执行跳转。

内容的提问来源于stack exchange，提问作者Zonta01