Lines Matching refs:an

94 Booting from an SD card
97 To write an image that boots from an SD card (assumed to be /dev/sdc):
128 The rockchip bootrom can load and boot an initial spl, then continue to
142 If you have an HDMI cable attached you should see a video console.
153 Booting from an SD card on RK3288 with TPL
164 To write an image that boots from an SD card (assumed to be /dev/mmcblk0):
171 Booting from an SD card on RK3188
224 To write an image that boots from SPI flash (e.g. for the Haier Chromebook):
286 rkimage.c produces an SPL image suitable for sending directly to the boot ROM
296 rksd.c produces an image consisting of 32KB of empty space, a header and
311 written to the start of an SD card using dd.
320 rkspi.c produces an image consisting of a header and u-boot-spl-dtb.bin. The
339 functionality. Device tree is used for configuration. However these have an