cederom commented on issue #17303: URL: https://github.com/apache/nuttx/issues/17303#issuecomment-3509051498
Quickest (maybe the only way) to update boot config [1] on rPI is flashing RPIOS to uSD card and then on the running system: * Run `sudo rpi-eeprom-config -e` to open eeprom config editor. * Set `BOOT_UART=1`. This enables UART on GPIO 14 and 15 where for now `nsh` runs. * Add `5` to `BOOT_ORDER` (i.e. `BOOT_ORDER=0xf514`). `5` enables USB device boot (this requires dedicated tool to flash firmware image). `4` enables USB MSD storage boot. `1` enables SD card boot. `f` means boot to first boot device from the list. Hex value is the boot device list read from right to left. Default value was `0xf14`. * Run `sudo rpi-eeprom-update -r` to apply eeprom update. * Run `poweroff` to shut down rPI. * Disconnect power. * Take out SD card. * See if that works. When rPI is connected to HDMI display (must be connected before power on to work) it displays boot menu when no usable boot device found. F1 shows boot options. SPACE changes boot mode (but USB-device is not on my list). Holding SHIFT enables netboot. NOTE: This is my workbench draft will update when works as intended after testing :-) [1] https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#eeprom-boot-flow -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
