빌드 산출물과 단계별 이미지 | U-Boot

QUESTION

빌드 산출물과 단계별 이미지 단계에서 실제로 바뀌는 상태는 무엇인가?

실행 파일 하나만 보지 말고 링크 주소, 포함된 DTB, 패딩과 SoC 전용 헤더까지 산출물의 계보를 확인해야 한다.

ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다. 이 문장을 기준으로 코드를 위에서 아래로 읽으면, 함수 이름을 외우는 대신 어느 시점에 어떤 상태를 신뢰할 수 있는지 판단할 수 있다.

STRUCTURE

객체와 주소가 놓이는 구조

그림 1. 빌드 산출물과 단계별 이미지에서 입력, 내부 상태, 출력의 경계

입력과 전제내부 상태외부로 공개되는 결과

01source objects

02linker script

03u-boot ELF

04u-boot.bin / u-boot.dtb

INVARIANT

ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다.

INPUTS-y += u-boot.srec를 중심에 놓고 왼쪽의 입력이 어떤 검사를 거쳐 오른쪽 결과로 공개되는지 표시했다. 실제 디버깅에서는 각 블록의 주소와 크기를 로그에 대입한다.

CALL PATH

실행 흐름

그림 2. 정상 경로의 주요 호출과 상태 전달

Kconfig

object list

u-boot ELF

binary and DTB

ROM image

화살표는 단순 호출 순서만 뜻하지 않는다. 각 단계가 성공을 반환할 때 다음 단계가 읽을 수 있는 상태가 무엇인지 함께 확인한다. 오류 반환이 발생하면 바로 다음 화살표로 진행하지 않고 해당 단계의 정리 경로를 따라간다.

STATE LEDGER

단계별 입력과 출력

호출 순서를 함수 이름으로만 외우지 않고, 각 단계가 무엇을 받아 무엇을 공개하는지 적은 표다. 실제 소스에서 생산 필드가 다르면 표를 고치는 방식으로 사용한다.

#	단계	진입 시 신뢰할 상태	성공 뒤 남아야 할 상태	다음 소비자
01	`Kconfig`	빌드 시점	source objects	object list
02	`object list`	Kconfig 완료 상태	linker script	u-boot ELF
03	`u-boot ELF`	object list 완료 상태	u-boot ELF	binary and DTB
04	`binary and DTB`	u-boot ELF 완료 상태	u-boot.bin / u-boot.dtb	ROM image
05	`ROM image`	binary and DTB 완료 상태	u-boot.bin / u-boot.dtb	최종 u-boot, u-boot.bin, SPL/TPL, binman image 또는 다음 stage

공통 불변 조건: ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다. 한 단계의 출력이 다음 단계의 입력 조건을 만족하지 않으면 오류가 실제로 드러난 위치보다 앞의 생산 단계부터 조사한다.

UPSTREAM SOURCE

원본 코드

아래 코드는 U-Boot v2026.07의 Makefile에서 1176-1264줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.

commitece349ade2973e220f524ce59e59711cc919263fsymbolINPUTS-y += u-boot.srec

1176TPL_SIZE_CHECK =
1177endif
1178
1179ifneq ($(CONFIG_VPL_SIZE_LIMIT),0x0)
1180VPL_SIZE_CHECK = @$(call size_check,$@,$(CONFIG_VPL_SIZE_LIMIT))
1181else
1182VPL_SIZE_CHECK =
1183endif
1184
1185# Statically apply RELA-style relocations (currently arm64 only)
1186# This is useful for arm64 where static relocation needs to be performed on
1187# the raw binary, but certain simulators only accept an ELF file (but don't
1188# do the relocation).
1189ifneq ($(CONFIG_STATIC_RELA),)
1190# $(2) is u-boot ELF, $(3) is u-boot bin, $(4) is text base
1191quiet_cmd_static_rela = RELOC   $@
1192cmd_static_rela = \
1193	tools/relocate-rela $(3) $(2)
1194else
1195quiet_cmd_static_rela =
1196cmd_static_rela =
1197endif
1198
1199# Always append INPUTS so that arch config.mk's can add custom ones
1200INPUTS-y += u-boot.srec u-boot.bin u-boot.sym System.map binary_size_check
1201
1202ifeq ($(CONFIG_SPL_FSL_PBL),y)
1203INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot-with-spl-pbl.bin
1204else
1205ifneq ($(CONFIG_NXP_ESBC), y)
1206# For Secure Boot The Image needs to be signed and Header must also
1207# be included. So The image has to be built explicitly
1208INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot.pbl
1209endif
1210endif
1211INPUTS-$(CONFIG_SPL) += spl/u-boot-spl.bin
1212ifeq ($(CONFIG_MX6)$(CONFIG_IMX_HAB), yy)
1213INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img
1214else
1215ifeq ($(CONFIG_MX7)$(CONFIG_IMX_HAB), yy)
1216INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img
1217else
1218INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot.img
1219endif
1220endif
1221INPUTS-$(CONFIG_TPL) += tpl/u-boot-tpl.bin
1222INPUTS-$(CONFIG_VPL) += vpl/u-boot-vpl.bin
1223
1224# Allow omitting the .dtb output if it is not normally used
1225INPUTS-$(CONFIG_OF_SEPARATE) += $(if $(CONFIG_OF_OMIT_DTB),dts/dt.dtb,u-boot.dtb)
1226ifeq ($(CONFIG_SPL_FRAMEWORK),y)
1227INPUTS-$(CONFIG_OF_SEPARATE) += u-boot-dtb.img
1228endif
1229INPUTS-$(CONFIG_SANDBOX) += u-boot.dtb
1230ifneq ($(CONFIG_SPL_TARGET),)
1231INPUTS-$(CONFIG_SPL) += $(CONFIG_SPL_TARGET:"%"=%)
1232endif
1233INPUTS-$(CONFIG_REMAKE_ELF) += u-boot.elf
1234INPUTS-$(CONFIG_SPL_REMAKE_ELF) += spl/u-boot-spl.elf
1235INPUTS-$(CONFIG_EFI_APP) += u-boot-app.efi
1236INPUTS-$(CONFIG_EFI_STUB) += u-boot-payload.efi
1237
1238# Generate this input file for binman
1239ifeq ($(CONFIG_SPL),)
1240ifneq ($(patsubst "%",%,$(CONFIG_MTK_BROM_HEADER_INFO)),)
1241INPUTS-$(CONFIG_ARCH_MEDIATEK) += u-boot-mtk.bin
1242endif
1243endif
1244
1245ifdef CONFIG_FUNCTION_TRACER
1246ifdef CONFIG_FTRACE_MCOUNT_USE_CC
1247  CC_FLAGS_FTRACE	+= -mrecord-mcount
1248  ifdef CONFIG_HAVE_NOP_MCOUNT
1249    ifeq ($(call cc-option-yn, -mnop-mcount),y)
1250      CC_FLAGS_FTRACE	+= -mnop-mcount
1251      CC_FLAGS_USING	+= -DCC_USING_NOP_MCOUNT
1252    endif
1253  endif
1254endif
1255ifdef CONFIG_FTRACE_MCOUNT_USE_OBJTOOL
1256  CC_FLAGS_USING	+= -DCC_USING_NOP_MCOUNT
1257endif
1258ifdef CONFIG_FTRACE_MCOUNT_USE_RECORDMCOUNT
1259  ifdef CONFIG_HAVE_C_RECORDMCOUNT
1260    BUILD_C_RECORDMCOUNT := y
1261    export BUILD_C_RECORDMCOUNT
1262  endif
1263endif
1264ifdef CONFIG_HAVE_FENTRY

LINE BY LINE

1176-1264줄 해설

원본에 보이는 모든 줄을 순서대로 설명한다. 빈 줄도 block 경계로 남겨, 코드와 설명의 위치가 어긋나지 않게 했다.

1176TPL_SIZE_CHECK =

원본 1176번 줄의 TPL_SIZE_CHECK =는 앞의 이전 block 경계 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1177endif

원본 1177번 줄의 endif는 앞의 TPL_SIZE_CHECK = 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1178(빈 줄)

endif까지의 동작과 ifneq ($(CONFIG_VPL_SIZE_LIMIT),0x0)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot ELF 상태가 아래 블록의 입력으로 사용되는 경계다.

1179ifneq ($(CONFIG_VPL_SIZE_LIMIT),0x0)

ifneq($(CONFIG_VPL_SIZE_LIMIT),0x0)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1180VPL_SIZE_CHECK = @$(call size_check,$@,$(CONFIG_VPL_SIZE_LIMIT))

원본 1180번 줄의 VPL_SIZE_CHECK = @$(call size_check,$@,$(CONFIG_VPL_SIZE_LIMIT))는 앞의 ifneq ($(CONFIG_VPL_SIZE_LIMIT),0x0) 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1181else

원본 1181번 줄의 else는 앞의 VPL_SIZE_CHECK = @$(call size_check,$@,$(CONFIG_VPL_SIZE_LIMIT)) 결과를 받아 다음 VPL_SIZE_CHECK =로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1182VPL_SIZE_CHECK =

원본 1182번 줄의 VPL_SIZE_CHECK =는 앞의 else 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1183endif

원본 1183번 줄의 endif는 앞의 VPL_SIZE_CHECK = 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1184(빈 줄)

endif까지의 동작과 # Statically apply RELA-style relocations (currently arm64 only)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot.bin / u-boot.dtb 상태가 아래 블록의 입력으로 사용되는 경계다.

1185# Statically apply RELA-style relocations (currently arm64 only)

# 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

1186# This is useful for arm64 where static relocation needs to be performed on

1187# the raw binary, but certain simulators only accept an ELF file (but don't

1188# do the relocation).

1189ifneq ($(CONFIG_STATIC_RELA),)

ifneq($(CONFIG_STATIC_RELA),)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1190# $(2) is u-boot ELF, $(3) is u-boot bin, $(4) is text base

1191quiet_cmd_static_rela = RELOC $@

원본 1191번 줄의 quiet_cmd_static_rela = RELOC $@는 앞의 # $(2) is u-boot ELF, $(3) is u-boot bin, $(4) is text base 결과를 받아 다음 cmd_static_rela = \로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1192cmd_static_rela = \

원본 1192번 줄의 cmd_static_rela = \는 앞의 quiet_cmd_static_rela = RELOC $@ 결과를 받아 다음 tools/relocate-rela $(3) $(2)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1193tools/relocate-rela $(3) $(2)

원본 1193번 줄의 tools/relocate-rela $(3) $(2)는 앞의 cmd_static_rela = \ 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1194else

원본 1194번 줄의 else는 앞의 tools/relocate-rela $(3) $(2) 결과를 받아 다음 quiet_cmd_static_rela =로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1195quiet_cmd_static_rela =

원본 1195번 줄의 quiet_cmd_static_rela =는 앞의 else 결과를 받아 다음 cmd_static_rela =로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1196cmd_static_rela =

원본 1196번 줄의 cmd_static_rela =는 앞의 quiet_cmd_static_rela = 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1197endif

원본 1197번 줄의 endif는 앞의 cmd_static_rela = 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1198(빈 줄)

endif까지의 동작과 # Always append INPUTS so that arch config.mk's can add custom ones에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot.bin / u-boot.dtb 상태가 아래 블록의 입력으로 사용되는 경계다.

1199# Always append INPUTS so that arch config.mk's can add custom ones

1200INPUTS-y += u-boot.srec u-boot.bin u-boot.sym System.map binary_size_check

원본 1200번 줄의 INPUTS-y += u-boot.srec u-boot.bin u-boot.sym System.map binary_size_check는 앞의 # Always append INPUTS so that arch config.mk's can add custom ones 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1201(빈 줄)

INPUTS-y += u-boot.srec u-boot.bin u-boot.sym System.map binary_size_check까지의 동작과 ifeq ($(CONFIG_SPL_FSL_PBL),y)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot.bin / u-boot.dtb 상태가 아래 블록의 입력으로 사용되는 경계다.

1202ifeq ($(CONFIG_SPL_FSL_PBL),y)

ifeq($(CONFIG_SPL_FSL_PBL),y)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1203INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot-with-spl-pbl.bin

원본 1203번 줄의 INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot-with-spl-pbl.bin는 앞의 ifeq ($(CONFIG_SPL_FSL_PBL),y) 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1204else

원본 1204번 줄의 else는 앞의 INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot-with-spl-pbl.bin 결과를 받아 다음 ifneq ($(CONFIG_NXP_ESBC), y)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1205ifneq ($(CONFIG_NXP_ESBC), y)

ifneq($(CONFIG_NXP_ESBC), y)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1206# For Secure Boot The Image needs to be signed and Header must also

1207# be included. So The image has to be built explicitly

1208INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot.pbl

원본 1208번 줄의 INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot.pbl는 앞의 # be included. So The image has to be built explicitly 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1209endif

원본 1209번 줄의 endif는 앞의 INPUTS-$(CONFIG_RAMBOOT_PBL) += u-boot.pbl 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1210endif

원본 1210번 줄의 endif는 앞의 endif 결과를 받아 다음 INPUTS-$(CONFIG_SPL) += spl/u-boot-spl.bin로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1211INPUTS-$(CONFIG_SPL) += spl/u-boot-spl.bin

원본 1211번 줄의 INPUTS-$(CONFIG_SPL) += spl/u-boot-spl.bin는 앞의 endif 결과를 받아 다음 ifeq ($(CONFIG_MX6)$(CONFIG_IMX_HAB), yy)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1212ifeq ($(CONFIG_MX6)$(CONFIG_IMX_HAB), yy)

ifeq($(CONFIG_MX6)$(CONFIG_IMX_HAB), yy)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1213INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img

원본 1213번 줄의 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img는 앞의 ifeq ($(CONFIG_MX6)$(CONFIG_IMX_HAB), yy) 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1214else

원본 1214번 줄의 else는 앞의 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img 결과를 받아 다음 ifeq ($(CONFIG_MX7)$(CONFIG_IMX_HAB), yy)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1215ifeq ($(CONFIG_MX7)$(CONFIG_IMX_HAB), yy)

ifeq($(CONFIG_MX7)$(CONFIG_IMX_HAB), yy)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1216INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img

원본 1216번 줄의 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img는 앞의 ifeq ($(CONFIG_MX7)$(CONFIG_IMX_HAB), yy) 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1217else

원본 1217번 줄의 else는 앞의 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot-ivt.img 결과를 받아 다음 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot.img로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1218INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot.img

원본 1218번 줄의 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot.img는 앞의 else 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1219endif

원본 1219번 줄의 endif는 앞의 INPUTS-$(CONFIG_SPL_FRAMEWORK) += u-boot.img 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1220endif

원본 1220번 줄의 endif는 앞의 endif 결과를 받아 다음 INPUTS-$(CONFIG_TPL) += tpl/u-boot-tpl.bin로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1221INPUTS-$(CONFIG_TPL) += tpl/u-boot-tpl.bin

원본 1221번 줄의 INPUTS-$(CONFIG_TPL) += tpl/u-boot-tpl.bin는 앞의 endif 결과를 받아 다음 INPUTS-$(CONFIG_VPL) += vpl/u-boot-vpl.bin로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1222INPUTS-$(CONFIG_VPL) += vpl/u-boot-vpl.bin

원본 1222번 줄의 INPUTS-$(CONFIG_VPL) += vpl/u-boot-vpl.bin는 앞의 INPUTS-$(CONFIG_TPL) += tpl/u-boot-tpl.bin 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1223(빈 줄)

INPUTS-$(CONFIG_VPL) += vpl/u-boot-vpl.bin까지의 동작과 # Allow omitting the .dtb output if it is not normally used에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot.bin / u-boot.dtb 상태가 아래 블록의 입력으로 사용되는 경계다.

1224# Allow omitting the .dtb output if it is not normally used

1225INPUTS-$(CONFIG_OF_SEPARATE) += $(if $(CONFIG_OF_OMIT_DTB),dts/dt.dtb,u-boot.dtb)

원본 1225번 줄의 INPUTS-$(CONFIG_OF_SEPARATE) += $(if $(CONFIG_OF_OMIT_DTB),dts/dt.dtb,u-boot.dtb)는 앞의 # Allow omitting the .dtb output if it is not normally used 결과를 받아 다음 ifeq ($(CONFIG_SPL_FRAMEWORK),y)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1226ifeq ($(CONFIG_SPL_FRAMEWORK),y)

ifeq($(CONFIG_SPL_FRAMEWORK),y)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1227INPUTS-$(CONFIG_OF_SEPARATE) += u-boot-dtb.img

원본 1227번 줄의 INPUTS-$(CONFIG_OF_SEPARATE) += u-boot-dtb.img는 앞의 ifeq ($(CONFIG_SPL_FRAMEWORK),y) 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1228endif

원본 1228번 줄의 endif는 앞의 INPUTS-$(CONFIG_OF_SEPARATE) += u-boot-dtb.img 결과를 받아 다음 INPUTS-$(CONFIG_SANDBOX) += u-boot.dtb로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1229INPUTS-$(CONFIG_SANDBOX) += u-boot.dtb

원본 1229번 줄의 INPUTS-$(CONFIG_SANDBOX) += u-boot.dtb는 앞의 endif 결과를 받아 다음 ifneq ($(CONFIG_SPL_TARGET),)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1230ifneq ($(CONFIG_SPL_TARGET),)

ifneq($(CONFIG_SPL_TARGET),)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1231INPUTS-$(CONFIG_SPL) += $(CONFIG_SPL_TARGET:"%"=%)

원본 1231번 줄의 INPUTS-$(CONFIG_SPL) += $(CONFIG_SPL_TARGET:"%"=%)는 앞의 ifneq ($(CONFIG_SPL_TARGET),) 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1232endif

원본 1232번 줄의 endif는 앞의 INPUTS-$(CONFIG_SPL) += $(CONFIG_SPL_TARGET:"%"=%) 결과를 받아 다음 INPUTS-$(CONFIG_REMAKE_ELF) += u-boot.elf로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1233INPUTS-$(CONFIG_REMAKE_ELF) += u-boot.elf

원본 1233번 줄의 INPUTS-$(CONFIG_REMAKE_ELF) += u-boot.elf는 앞의 endif 결과를 받아 다음 INPUTS-$(CONFIG_SPL_REMAKE_ELF) += spl/u-boot-spl.elf로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1234INPUTS-$(CONFIG_SPL_REMAKE_ELF) += spl/u-boot-spl.elf

원본 1234번 줄의 INPUTS-$(CONFIG_SPL_REMAKE_ELF) += spl/u-boot-spl.elf는 앞의 INPUTS-$(CONFIG_REMAKE_ELF) += u-boot.elf 결과를 받아 다음 INPUTS-$(CONFIG_EFI_APP) += u-boot-app.efi로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1235INPUTS-$(CONFIG_EFI_APP) += u-boot-app.efi

원본 1235번 줄의 INPUTS-$(CONFIG_EFI_APP) += u-boot-app.efi는 앞의 INPUTS-$(CONFIG_SPL_REMAKE_ELF) += spl/u-boot-spl.elf 결과를 받아 다음 INPUTS-$(CONFIG_EFI_STUB) += u-boot-payload.efi로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1236INPUTS-$(CONFIG_EFI_STUB) += u-boot-payload.efi

원본 1236번 줄의 INPUTS-$(CONFIG_EFI_STUB) += u-boot-payload.efi는 앞의 INPUTS-$(CONFIG_EFI_APP) += u-boot-app.efi 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1237(빈 줄)

INPUTS-$(CONFIG_EFI_STUB) += u-boot-payload.efi까지의 동작과 # Generate this input file for binman에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot.bin / u-boot.dtb 상태가 아래 블록의 입력으로 사용되는 경계다.

1238# Generate this input file for binman

1239ifeq ($(CONFIG_SPL),)

ifeq($(CONFIG_SPL),)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1240ifneq ($(patsubst "%",%,$(CONFIG_MTK_BROM_HEADER_INFO)),)

ifneq($(patsubst "%",%,$(CONFIG_MTK_BROM_HEADER_INFO)),)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1241INPUTS-$(CONFIG_ARCH_MEDIATEK) += u-boot-mtk.bin

원본 1241번 줄의 INPUTS-$(CONFIG_ARCH_MEDIATEK) += u-boot-mtk.bin는 앞의 ifneq ($(patsubst "%",%,$(CONFIG_MTK_BROM_HEADER_INFO)),) 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1242endif

원본 1242번 줄의 endif는 앞의 INPUTS-$(CONFIG_ARCH_MEDIATEK) += u-boot-mtk.bin 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1243endif

원본 1243번 줄의 endif는 앞의 endif 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1244(빈 줄)

endif까지의 동작과 ifdef CONFIG_FUNCTION_TRACER에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 u-boot.bin / u-boot.dtb 상태가 아래 블록의 입력으로 사용되는 경계다.

1245ifdef CONFIG_FUNCTION_TRACER

원본 1245번 줄의 ifdef CONFIG_FUNCTION_TRACER는 앞의 이전 block 경계 결과를 받아 다음 ifdef CONFIG_FTRACE_MCOUNT_USE_CC로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1246ifdef CONFIG_FTRACE_MCOUNT_USE_CC

원본 1246번 줄의 ifdef CONFIG_FTRACE_MCOUNT_USE_CC는 앞의 ifdef CONFIG_FUNCTION_TRACER 결과를 받아 다음 CC_FLAGS_FTRACE += -mrecord-mcount로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1247CC_FLAGS_FTRACE += -mrecord-mcount

원본 1247번 줄의 CC_FLAGS_FTRACE += -mrecord-mcount는 앞의 ifdef CONFIG_FTRACE_MCOUNT_USE_CC 결과를 받아 다음 ifdef CONFIG_HAVE_NOP_MCOUNT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1248ifdef CONFIG_HAVE_NOP_MCOUNT

원본 1248번 줄의 ifdef CONFIG_HAVE_NOP_MCOUNT는 앞의 CC_FLAGS_FTRACE += -mrecord-mcount 결과를 받아 다음 ifeq ($(call cc-option-yn, -mnop-mcount),y)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1249ifeq ($(call cc-option-yn, -mnop-mcount),y)

ifeq($(call cc-option-yn, -mnop-mcount),y)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 INPUTS-y += u-boot.srec의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 u-boot.bin / u-boot.dtb 항목과 대조한다.

1250CC_FLAGS_FTRACE += -mnop-mcount

원본 1250번 줄의 CC_FLAGS_FTRACE += -mnop-mcount는 앞의 ifeq ($(call cc-option-yn, -mnop-mcount),y) 결과를 받아 다음 CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1251CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT

원본 1251번 줄의 CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT는 앞의 CC_FLAGS_FTRACE += -mnop-mcount 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1252endif

원본 1252번 줄의 endif는 앞의 CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1253endif

원본 1253번 줄의 endif는 앞의 endif 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1254endif

원본 1254번 줄의 endif는 앞의 endif 결과를 받아 다음 ifdef CONFIG_FTRACE_MCOUNT_USE_OBJTOOL로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1255ifdef CONFIG_FTRACE_MCOUNT_USE_OBJTOOL

원본 1255번 줄의 ifdef CONFIG_FTRACE_MCOUNT_USE_OBJTOOL는 앞의 endif 결과를 받아 다음 CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1256CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT

원본 1256번 줄의 CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT는 앞의 ifdef CONFIG_FTRACE_MCOUNT_USE_OBJTOOL 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1257endif

원본 1257번 줄의 endif는 앞의 CC_FLAGS_USING += -DCC_USING_NOP_MCOUNT 결과를 받아 다음 ifdef CONFIG_FTRACE_MCOUNT_USE_RECORDMCOUNT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1258ifdef CONFIG_FTRACE_MCOUNT_USE_RECORDMCOUNT

원본 1258번 줄의 ifdef CONFIG_FTRACE_MCOUNT_USE_RECORDMCOUNT는 앞의 endif 결과를 받아 다음 ifdef CONFIG_HAVE_C_RECORDMCOUNT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1259ifdef CONFIG_HAVE_C_RECORDMCOUNT

원본 1259번 줄의 ifdef CONFIG_HAVE_C_RECORDMCOUNT는 앞의 ifdef CONFIG_FTRACE_MCOUNT_USE_RECORDMCOUNT 결과를 받아 다음 BUILD_C_RECORDMCOUNT := y로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1260BUILD_C_RECORDMCOUNT := y

원본 1260번 줄의 BUILD_C_RECORDMCOUNT := y는 앞의 ifdef CONFIG_HAVE_C_RECORDMCOUNT 결과를 받아 다음 export BUILD_C_RECORDMCOUNT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1261export BUILD_C_RECORDMCOUNT

원본 1261번 줄의 export BUILD_C_RECORDMCOUNT는 앞의 BUILD_C_RECORDMCOUNT := y 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1262endif

원본 1262번 줄의 endif는 앞의 export BUILD_C_RECORDMCOUNT 결과를 받아 다음 endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1263endif

원본 1263번 줄의 endif는 앞의 endif 결과를 받아 다음 ifdef CONFIG_HAVE_FENTRY로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

1264ifdef CONFIG_HAVE_FENTRY

원본 1264번 줄의 ifdef CONFIG_HAVE_FENTRY는 앞의 endif 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다' 조건이 유지되는지 확인한다.

DETAILS

내부 동작을 더 깊게 읽기

진입 조건을 먼저 고정한다

Kconfig에서 들어온 실행은 빌드 시점에 놓여 있다. 이때 interrupt, MMU/cache, stack, heap 중 무엇이 이미 준비되었는지 소스의 호출자까지 올라가 확인한다. 같은 함수라도 SPL, relocation 전후, app thread처럼 호출 문맥이 달라지면 허용되는 API와 지연 시간이 달라진다.

실행 파일 하나만 보지 말고 링크 주소, 포함된 DTB, 패딩과 SoC 전용 헤더까지 산출물의 계보를 확인해야 한다.

중심 객체의 생성과 공개를 나눈다

이 글의 중심 객체는 INPUTS-y += u-boot.srec다. 메모리를 확보한 시점, 필드를 채운 시점, 전역 list나 다른 subsystem에 공개한 시점을 구분한다. 공개 뒤 오류가 발생한다면 목록에서 제거하고 child, buffer, reference를 역순으로 정리하는지 확인한다.

빌드 산출물 관점에서는 u-boot, u-boot.bin, SPL/TPL, binman image 안에 해당 symbol과 section이 실제로 포함되었는지도 map과 objdump로 검증한다.

주소, 크기와 정렬을 계산한다

부트 코드의 오류는 논리보다 주소 계산에서 먼저 드러나는 경우가 많다. source range, destination range, header가 말하는 payload size, block 또는 page 단위를 표로 적고 각 구간의 끝 주소를 직접 계산한다. 끝 주소는 start + size - 1인지 exclusive end인지 API 계약을 확인한다.

ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다.

성공 flag와 실제 완료 시점을 맞춘다

object list → u-boot ELF → binary and DTB 구간에서는 부분 초기화 상태가 생길 수 있다. flag, list insertion, callback 등록, storage write 완료 중 무엇이 성공의 기준인지 찾는다. hardware write나 DMA가 포함되면 함수 반환과 장치 완료가 같은 시점인지도 확인한다.

다른 CPU, interrupt handler, USB completion 또는 shell command가 상태를 관찰할 수 있다면 memory ordering과 lock 범위도 함께 읽는다.

마지막 handoff의 계약을 적는다

정상 경로는 ROM image에서 끝난다. 이 단계가 함수 반환인지, scheduler 전환인지, 다른 image로의 비복귀 분기인지 구분한다. 비복귀 handoff라면 cache clean/invalidate, interrupt disable, 장치 quiesce, argument register와 FDT 또는 image address가 최종 점검 항목이다.

반환하는 경로라면 caller가 오류와 부분 성공을 구분하고 다음 후보 또는 복구 경로를 선택하는지 확인한다.

IMPLEMENTATION NOTES

구현을 읽을 때 놓치기 쉬운 부분

하나의 defconfig가 여러 실행 image를 만든다

U-Boot 빌드는 같은 source tree에서 TPL, SPL, U-Boot proper를 서로 다른 configuration과 object 목록으로 컴파일할 수 있다. obj-y에 보이는 파일이 모든 stage에 들어간다고 가정하면 안 되며 obj-$(CONFIG_...), ifdef CONFIG_XPL_BUILD, CONFIG_SPL_BUILD 조건을 전처리 결과에서 구분해야 한다.

각 stage는 별도 linker script와 link address를 가질 수 있다. ROM이 직접 읽는 SPL의 크기 제한과 DRAM에서 실행하는 U-Boot proper의 주소 제약은 다르므로 최종 u-boot.bin 하나만 확인해서는 초기 부팅 실패를 찾을 수 없다.

ELF, raw binary와 binman image의 주소 의미는 다르다

ELF의 section virtual address는 linker가 의도한 실행 주소를 보여 주지만 raw binary에는 주소 정보가 없다. objcopy 뒤 생긴 u-boot.bin의 offset 0은 ELF의 가장 낮은 loadable section에 대응할 뿐 physical address 0을 뜻하지 않는다.

binman이나 SoC 전용 image tool은 raw payload 앞뒤에 header, padding, DTB, firmware를 배치한다. ROM offset, header가 선언한 load address, ELF entry 세 값을 표로 놓고 대조해야 한다.

재현 가능한 산출물 계보를 남긴다

make V=1 로그에서 최종 link와 objcopy, image packing 명령을 분리해 보관한다. u-boot.map, readelf -l, objdump -h, binman map을 같은 build ID와 묶어 두면 크기 초과나 section 이동이 어느 단계에서 생겼는지 역추적할 수 있다.

incremental build의 오래된 object와 생성 DTB가 섞이는 문제를 피하려면 비교 실험에서는 output directory를 분리한다. 산출물 hash만 비교하지 말고 configuration, toolchain version, linker script도 함께 기록한다.

OBJECT LIFETIME

객체와 수명

대상	만들어지는 시점	유효 범위	확인할 조건
`INPUTS-y += u-boot.srec`	object list	ROM image 또는 오류 정리 완료까지	ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다.
입력 buffer / metadata	Kconfig	parse와 검증이 끝날 때까지	길이, 정렬, 소유권, 변조 가능성
등록된 list / descriptor	u-boot ELF	subsystem 종료 또는 image handoff까지	이중 등록, dangling pointer, 오류 unwind
hardware 또는 persistent state	실제 write/probe가 완료된 뒤	reset 또는 명시적 해제·갱신까지	flush, timeout, 전원 차단, rollback
`u-boot, u-boot.bin, SPL/TPL, binman image`	link/image 생성 시점	다음 stage가 새 image로 교체할 때까지	load address, entry, section과 header 일치

FAILURE PATH

실패 지점과 증상

#	조건	관찰되는 증상	먼저 볼 단계
01	잘못된 defconfig	필요한 stage가 생성되지 않음	object list
02	링커 주소 불일치	reset 직후 예외	u-boot ELF
03	패딩 또는 헤더 오류	ROM이 이미지를 거부	binary and DTB

로그가 끊긴 마지막 함수만 고치지 않는다. 그 함수가 받은 주소, size, flag가 만들어진 앞 단계까지 올라가고, 오류 뒤 등록 객체와 hardware 상태가 남았는지도 확인한다.

EVIDENCE

소스 밖에서 확인할 증거

소스 해석은 실제 빌드 산출물과 target 로그로 닫아야 한다. 아래 명령의 보드 이름과 toolchain prefix는 사용 중인 빌드 환경에 맞게 바꾼다.

#	목적	명령 또는 계측	판정 기준
01	전처리 결과	`make <board>_defconfig && make V=1`	선택된 CONFIG와 실제 compile/link 명령을 보관한다.
02	symbol과 section	`${CROSS_COMPILE}nm -n u-boot \| grep 'INPUTS-y += u-boot.srec'`	symbol 주소가 기대한 stage와 image에 들어갔는지 확인한다.
03	어셈블리 대조	`${CROSS_COMPILE}objdump -drS u-boot`	C 한 줄이 실제 branch, relocation, memory access로 어떻게 바뀌었는지 본다.
04	주소 배치	`bdinfo`	relocaddr, malloc, FDT, stack과 DRAM bank 주소를 한 번에 기록한다.
05	runtime 관찰	`dm tree; dm uclass; printenv`	driver model과 환경이 이 단계에서 실제로 공개되었는지 확인한다.

LAB

직접 확인할 실험

01
make V=1로 실제 링크 명령 기록
object list 진입 전후에 source objects의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다. 조건이 처음 깨지는 줄을 기록한다.
02
readelf -h와 objdump -h로 ELF 주소 확인
u-boot ELF 진입 전후에 linker script의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다. 조건이 처음 깨지는 줄을 기록한다.
03
binman map과 최종 이미지 offset 대조
binary and DTB 진입 전후에 u-boot ELF의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 ROM이 읽는 형식과 링크된 실행 주소가 보드의 부트 규약과 일치해야 한다. 조건이 처음 깨지는 줄을 기록한다.

PRIMARY REFERENCES

원문과 다음 글

Makefilev2026.07 원본 파일 U-Boot source tree기준 commit ece349ade297