Searched refs:cmdline (Results 1 – 5 of 5) sorted by relevance
258 static int fpga_dtb_set_commandline(void *fdt, const char *cmdline) in fpga_dtb_set_commandline() argument282 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() local326 if (!strncmp(cmdline, CMDLINE_SIGNATURE, strlen(CMDLINE_SIGNATURE))) { in fpga_prepare_dtb()327 err = fpga_dtb_set_commandline(fdt, cmdline); in fpga_prepare_dtb()
93 … ... -m bl31.axf -l auto -m Image -l 0x80080000 -m initrd.gz -l 0x84000000 -m cmdline.txt -l 0x1000
49 The command line provided is read from the ``cmdline.txt`` file on the SD card.
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
271 MESS:00:00:02.020772:0: Failed to open command line file 'cmdline.txt'