SPL의 image 선택과 적재

QUESTION

SPL의 image 선택과 적재 단계에서 실제로 바뀌는 상태는 무엇인가?

STRUCTURE

객체와 주소가 놓이는 구조

CALL PATH

실행 흐름

STATE LEDGER

단계별 입력과 출력

각 단계의 입력과 처리 후 바뀌는 상태를 정리한 표다. 사용 중인 소스 버전에서 다른 필드를 변경한다면 그에 맞춰 표도 수정한다.

분석 범위의 전제와 비교해, 다음 단계에 잘못된 입력을 넘긴 부분부터 조사한다.

VISUAL WALKTHROUGH

주소와 객체의 이동을 그림으로 읽기

아래 그림은 주소, 객체를 사용하는 기간, 제어권을 넘기는 시점을 중심으로 정리했다. 실제 주소와 크기는 사용 중인 보드의 bdinfo, 맵 파일과 링커 심벌로 확인한다.

UPSTREAM SOURCE

원본 코드

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

648			}
649
650			ret = spl_load_image(spl_image, loader);
651			if (!ret) {
652				spl_image->boot_device = bootdev;
653				return 0;
654			}
655			printf("Error: %d\n", ret);
656		}
657
658		if (!CONFIG_IS_ENABLED(SILENT_CONSOLE)) {
659			if (CONFIG_IS_ENABLED(SHOW_ERRORS))
660				printf(PHASE_PROMPT
661				       "Unsupported Boot Device %d\n",
662				       bootdev);
663			else
664				printf(PHASE_PROMPT
665				       "Unsupported Boot Device!\n");
666		}
667	}
668
669	return ret;
670}
671
672void board_init_r(gd_t *dummy1, ulong dummy2)
673{
674	u32 spl_boot_list[] = {
675		BOOT_DEVICE_NONE,
676		BOOT_DEVICE_NONE,
677		BOOT_DEVICE_NONE,
678		BOOT_DEVICE_NONE,
679		BOOT_DEVICE_NONE,
680	};
681	spl_jump_to_image_t jumper = &jump_to_image;
682	struct spl_image_info spl_image;
683	int ret, os;
684	void *fdt;
685
686	debug(">>" PHASE_PROMPT "board_init_r()\n");
687
688	spl_set_bd();
689
690	if (IS_ENABLED(CONFIG_SPL_SYS_MALLOC)) {
691		mem_malloc_init(SPL_SYS_MALLOC_START, SPL_SYS_MALLOC_SIZE);
692		gd->flags |= GD_FLG_FULL_MALLOC_INIT;
693	}
694	if (!(gd->flags & GD_FLG_SPL_INIT)) {
695		if (spl_init())
696			hang();
697	}
698	timer_init();
699	if (CONFIG_IS_ENABLED(BLOBLIST)) {
700		ret = bloblist_init();
701		if (ret) {
702			debug("%s: Failed to set up bloblist: ret=%d\n",
703			      __func__, ret);
704			puts(PHASE_PROMPT "Cannot set up bloblist\n");
705			hang();
706		}
707	}
708	if (CONFIG_IS_ENABLED(HANDOFF)) {
709		int ret;
710
711		ret = setup_spl_handoff();
712		if (ret) {
713			puts(PHASE_PROMPT "Cannot set up SPL handoff\n");
714			hang();
715		}
716	}
717
718	if (CONFIG_IS_ENABLED(SOC_INIT))
719		spl_soc_init();
720
721	if (IS_ENABLED(CONFIG_SPL_WATCHDOG) && CONFIG_IS_ENABLED(WDT))
722		initr_watchdog();
723
724	if (IS_ENABLED(CONFIG_SPL_OS_BOOT) || CONFIG_IS_ENABLED(HANDOFF) ||
725	    IS_ENABLED(CONFIG_SPL_ATF) || IS_ENABLED(CONFIG_SPL_NET))
726		dram_init_banksize();
727
728	if (IS_ENABLED(CONFIG_SPL_LMB))
729		lmb_init();
730
731	if (CONFIG_IS_ENABLED(PCI) && !(gd->flags & GD_FLG_DM_DEAD)) {
732		ret = pci_init();
733		if (ret)
734			puts(PHASE_PROMPT "Cannot initialize PCI\n");
735		/* Don't fail. We still can try other boot methods. */
736	}

READING CONTRACT

발췌 범위와 읽기 기준

원문 648-736줄에는 앞뒤 문맥이 포함됩니다. 기준 구문 void board_init_r(gd_t *dummy1, ulong dummy2)은 L672에 있습니다. 발췌 첫 줄을 함수 정의의 시작으로 해석하지 않습니다.

SPL은 크기 제약 때문에 full U-Boot와 같은 기능을 가정할 수 없다. loader 등록, 우선순위, fallback과 spl_image_info 필드가 채워지는 순간을 본다.

DETAILS

내부 동작을 더 깊게 읽기

IMPLEMENTATION NOTES

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

OBJECT LIFETIME

객체와 수명

FAILURE PATH

실패 지점과 증상

로그가 끊긴 함수뿐 아니라 그 함수에 주소, 크기, 플래그를 전달한 앞 단계도 조사한다. 오류 처리 후 등록된 객체나 하드웨어 설정이 그대로 남아 있는지도 확인한다.

EVIDENCE

소스 밖에서 확인할 증거

소스에서 파악한 동작을 실제 빌드 결과와 대상 보드의 로그로 확인한다. 아래 명령의 보드 이름과 툴체인 접두사는 사용 중인 빌드 환경에 맞게 바꾸고, 별도 출력 디렉터리를 쓰면 그 디렉터리에서 ELF 경로를 지정한다. 이 글에서 특정 보드의 빌드·실행을 재현한 것은 아니다.

LAB

직접 확인할 실험

1. 01
   SPL 로그에 boot device와 loader 이름 추가

   TPL or SPL 진입 전후에 SRAM SPL의 주소·크기·반환값과 timestamp를 함께 남긴다.

2. 02
   이미지 헤더 길이 변조 후 거부 확인

   boot device 진입 전후에 loader methods의 주소·크기·반환값과 timestamp를 함께 남긴다.

3. 03
   주 장치 read 실패를 주입해 fallback 추적

   image loader 진입 전후에 spl_image_info의 주소·크기·반환값과 timestamp를 함께 남긴다.

PRIMARY REFERENCES

원문과 다음 글