Searched refs:cmdline (Results 1 – 5 of 5) sorted by relevance
/trusted-firmware-a-latest/plat/arm/board/arm_fpga/ |
D | fpga_bl31_setup.c | 258 static int fpga_dtb_set_commandline(void *fdt, const char *cmdline) in fpga_dtb_set_commandline() argument 282 eol = strchr(cmdline, '\n'); in fpga_dtb_set_commandline() 284 eol = strchr(cmdline, 0); in fpga_dtb_set_commandline() 287 slen = eol - (cmdline + strlen(CMDLINE_SIGNATURE)); in fpga_dtb_set_commandline() 299 cmdline + strlen(CMDLINE_SIGNATURE), slen); in fpga_dtb_set_commandline() 310 const char *cmdline = (void *)(uintptr_t)FPGA_PRELOADED_CMD_LINE; in fpga_prepare_dtb() local 326 if (!strncmp(cmdline, CMDLINE_SIGNATURE, strlen(CMDLINE_SIGNATURE))) { in fpga_prepare_dtb() 327 err = fpga_dtb_set_commandline(fdt, cmdline); in fpga_prepare_dtb()
|
/trusted-firmware-a-latest/docs/plat/arm/arm_fpga/ |
D | index.rst | 93 … ... -m bl31.axf -l auto -m Image -l 0x80080000 -m initrd.gz -l 0x84000000 -m cmdline.txt -l 0x1000
|
/trusted-firmware-a-latest/docs/plat/ |
D | rpi4.rst | 49 The command line provided is read from the ``cmdline.txt`` file on the SD card.
|
D | rpi3.rst | 135 command line passed to the kernel in ``cmdline.txt``. See the `Setup SD card`_ 419 4. To enable the serial port "Mini UART" in Linux, open ``cmdline.txt`` and add
|
/trusted-firmware-a-latest/docs/components/ |
D | secure-partition-manager.rst | 371 Trusted Boot Firmware BL2: offset=0x1F0, size=0x8AE1, cmdline="--tb-fw" 372 EL3 Runtime Firmware BL31: offset=0x8CD1, size=0x13000, cmdline="--soc-fw" 373 Secure Payload BL32 (Trusted OS): offset=0x1BCD1, size=0x15270, cmdline="--tos-fw" 374 Non-Trusted Firmware BL33: offset=0x30F41, size=0x92E0, cmdline="--nt-fw" 375 HW_CONFIG: offset=0x3A221, size=0x2348, cmdline="--hw-config" 376 TB_FW_CONFIG: offset=0x3C569, size=0x37A, cmdline="--tb-fw-config" 377 SOC_FW_CONFIG: offset=0x3C8E3, size=0x48, cmdline="--soc-fw-config" 378 TOS_FW_CONFIG: offset=0x3C92B, size=0x427, cmdline="--tos-fw-config" 379 NT_FW_CONFIG: offset=0x3CD52, size=0x48, cmdline="--nt-fw-config" 380 B4B5671E-4A90-4FE1-B81F-FB13DAE1DACB: offset=0x3CD9A, size=0xC168, cmdline="--blob" [all …]
|