Boot Loader Specification entry 해석

QUESTION

언제 BLS 항목이 발견·선별되고, 언제 부팅 데이터가 만들어지는가?

STRUCTURE

설정 속성과 bootm_data는 생성 시점이 다르다

CALL PATH

발견 → 파싱 → 필터·정렬 → 선택 → bootm

STATE LEDGER

각 단계에서 확정되는 상태

VISUAL WALKTHROUGH

후보가 제외되는 곳과 파일 경로가 소비되는 곳

UPSTREAM SOURCE

원본 코드

아래 코드는 Barebox v2026.06.1의 common/blspec.c에서 1-88줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.

1// SPDX-License-Identifier: GPL-2.0-or-later
2#define pr_fmt(fmt)  "blspec: " fmt
3
4#include <environment.h>
5#include <globalvar.h>
6#include <firmware.h>
7#include <malloc.h>
8#include <fcntl.h>
9#include <libfile.h>
10#include <libbb.h>
11#include <init.h>
12#include <bootm.h>
13#include <glob.h>
14#include <fs.h>
15#include <of.h>
16#include <linux/stat.h>
17#include <linux/list.h>
18#include <linux/err.h>
19#include <uapi/spec/dps.h>
20#include <boot.h>
21
22#include <bootscan.h>
23
24struct blspec_entry {
25	struct bootentry entry;
26
27	struct device_node *node;
28	struct cdev *cdev;
29	const char *rootpath;
30	/* configpath is entry.path */
31	char *sortkey;
32};
33
34/*
35 * blspec_entry_var_get - get the value of a variable
36 */
37static const char *blspec_entry_var_get(struct blspec_entry *entry, const char *name)
38{
39	const char *str;
40	int ret;
41
42	ret = of_property_read_string(entry->node, name, &str);
43
44	return ret ? NULL : str;
45}
46
47/*
48 * blspec_entry_var_set - set a variable to a value
49 */
50static int blspec_entry_var_set(struct blspec_entry *entry, const char *name,
51		const char *val)
52{
53	return of_set_property(entry->node, name, val,
54			val ? strlen(val) + 1 : 0, 1);
55}
56
57static int blspec_overlay_fixup(struct device_node *root, void *ctx)
58{
59	struct blspec_entry *entry = ctx;
60	const char *overlays;
61	char *overlay;
62	char *sep, *freep;
63
64	overlays = blspec_entry_var_get(entry, "devicetree-overlay");
65
66	sep = freep = xstrdup(overlays);
67
68	while ((overlay = strsep(&sep, " "))) {
69		char *path;
70
71		if (!*overlay)
72			continue;
73
74		path = basprintf("%s/%s", entry->rootpath, overlay);
75
76		of_overlay_apply_file(root, path, false);
77
78		free(path);
79	}
80
81	free(freep);
82
83	return 0;
84}
85
86/*
87 * blspec_boot - boot an entry
88 *

READING CONTRACT

첫 발췌와 보충 발췌의 한계

첫 발췌 L1–88은 struct blspec_entry와 속성 접근·overlay fixup까지다. 보충 발췌 L83–187은 blspec_boot()이 kernel·선택적 initrd/DTB 경로를 만들고 bootm_entry()를 호출하는 부분이다.

파일 검색·파싱·필터·정렬은 같은 태그의 common/blspec.c L202–699, 장치 mount 경계는 common/bootscan.c, 실제 항목 순회·메뉴 선택은 commands/boot.c를 함께 확인한다.

RELATED SOURCE

함께 읽어야 하는 원본 코드

첫 코드 조각만으로 동작이 완성되지 않는 경우 호출 매크로, 객체 정의와 실제 실행 목록을 같은 페이지에 묶었다. 각 조각은 같은 기준 commit에서 가져왔다.

83	return 0;
84}
85
86/*
87 * blspec_boot - boot an entry
88 *
89 * This boots an entry. On success this function does not return.
90 * In case of an error the error code is returned. This function may
91 * return 0 in case of a successful dry run.
92 */
93static int blspec_boot(struct bootentry *be, int verbose, int dryrun)
94{
95	struct blspec_entry *entry = container_of(be, struct blspec_entry, entry);
96	int ret;
97	const char *abspath, *devicetree, *options, *initrd, *linuximage;
98	const char *overlays;
99	const char *appendroot;
100	char *old_fws, *fws;
101	struct bootm_data data = {};
102
103	bootm_data_init_defaults(&data);
104	data.dryrun = max_t(int, dryrun, data.dryrun);
105	data.os_file = data.oftree_file = data.initrd_file = NULL;
106	data.verbose = max(verbose, data.verbose);
107
108	devicetree = blspec_entry_var_get(entry, "devicetree");
109	initrd = blspec_entry_var_get(entry, "initrd");
110	options = blspec_entry_var_get(entry, "options");
111	linuximage = blspec_entry_var_get(entry, "linux");
112	overlays = blspec_entry_var_get(entry, "devicetree-overlay");
113
114	if (entry->rootpath)
115		abspath = entry->rootpath;
116	else
117		abspath = "";
118
119	data.os_file = basprintf("%s/%s", abspath, linuximage);
120
121	if (devicetree)
122		data.oftree_file = basprintf("%s/%s", abspath, devicetree);
123
124	if (overlays)
125		of_register_fixup(blspec_overlay_fixup, entry);
126
127	if (initrd)
128		data.initrd_file = basprintf("%s/%s", abspath, initrd);
129
130	globalvar_add_simple("linux.bootargs.dyn.bootentries", options);
131
132	appendroot = blspec_entry_var_get(entry, "linux-appendroot");
133	if (appendroot) {
134		int val;
135
136		ret = strtobool(appendroot, &val);
137		if (ret) {
138			pr_err("Invalid value \"%s\" for appendroot option\n",
139			       appendroot);
140			goto err_out;
141		}
142		data.appendroot = val;
143	}
144
145	pr_info("booting %s from %s\n", blspec_entry_var_get(entry, "title"),
146			(entry->cdev && entry->cdev->dev) ?
147			dev_name(entry->cdev->dev) : "none");
148
149	of_overlay_set_basedir(abspath);
150
151	old_fws = firmware_get_searchpath();
152	if (old_fws && *old_fws)
153		fws = basprintf("%s/lib/firmware:%s", abspath, old_fws);
154	else
155		fws = basprintf("%s/lib/firmware", abspath);
156	firmware_set_searchpath(fws);
157	free(fws);
158
159	ret = bootm_entry(be, &data);
160	if (ret)
161		pr_err("Booting failed\n");
162
163	if (overlays)
164		of_unregister_fixup(blspec_overlay_fixup, entry);
165
166	of_overlay_set_basedir("/");
167	firmware_set_searchpath(old_fws);
168	free(old_fws);
169
170err_out:
171	free((char *)data.oftree_file);
172	free((char *)data.initrd_file);
173	free((char *)data.os_file);
174
175	return ret;
176}
177
178static void blspec_entry_free(struct bootentry *be)
179{
180	struct blspec_entry *entry = container_of(be, struct blspec_entry, entry);
181
182	of_delete_node(entry->node);
183	free_const(entry->rootpath);
184	free(entry->sortkey);
185	free(entry);
186}
187

DETAILS

파싱·선별·부팅을 분리해서 읽기

속성 파싱 · 실제 정렬 분기 · 버전 비교의 빈 값 처리.

IMPLEMENTATION NOTES

경계에서 생기는 오해를 바로잡기

OBJECT LIFETIME

속성과 경로의 소유권

잘못된 linux-appendroot 값 때문에 일찍 반환하면 err_out으로 바로 이동한다. 그 전에 overlay fixup을 등록했다면 해제 코드를 건너뛴다. 모든 반환 경로가 같은 정리를 수행한다고 가정하면 안 된다. overlay 기준 경로도 이전 값을 저장해 복구하는 방식이 아니다.

FAILURE PATH

목록화 실패와 부팅 실패를 구별

디렉터리 스캔은 개별 config의 음수 반환을 누적하지 않고 성공 개수를 반환한다. boot -l에서 빠진 항목과 boot 때 실패한 항목을 로그에서 따로 확인한다.

EVIDENCE

소스 밖에서 확인할 증거

이 글에서는 고정 버전 소스와 웹페이지를 검증했다. Barebox를 새로 빌드하거나 보드에서 부팅하지 않았다. 아래 명령과 실험은 대상 장치에서 추가로 확인할 절차다.

LAB

후보와 실행 단계를 따로 재현

1. 01
   동일 경로와 두 버전의 목록 비교

   loader/entries에 두 .conf를 두고 boot -l로 sort-key 유무, version, 파일명에 따른 순서를 기록한다.

2. 02
   필터만 변경

   전역 machine-id를 설정·해제하거나 DTB compatible을 바꾸고 후보 목록에서 제외되는 시점을 비교한다.

3. 03
   경로 소비와 오류 비교

   linux 파일 경로를 잘못 지정하고 목록에는 남는지, 실행 때 bootm_entry가 어떤 오류를 돌려주는지 확인한다.

PRIMARY REFERENCES

원문과 다음 글