Lines Matching refs:card
25 card) and is located between all Arm cores and the DRAM. Check the `Raspberry Pi
29 depending on a few files on the SD card. We only care about the cases in which
35 SD card, it will load it and execute in EL2 in AArch64. Basically, it executes
46 sure that the name on the SD card is ``kernel8.img``.
135 command line passed to the kernel in ``cmdline.txt``. See the `Setup SD card`_
200 file, follow the instructions in `Setup SD card`_.
357 using a SD card with the default `Raspbian`_ install as base. Skip them if you
381 3. Copy the kernel image and the device tree to the SD card. Replace the path
383 SD card.
392 filesystem partition of the SD card on your computer.
399 5. Follow the instructions in `Setup SD card`_ except for the step of renaming
402 Setup SD card
405 The instructions assume that you have an SD card with a fresh install of
409 1. Insert the SD card and open the ``boot`` partition.