Restoring PetitBoot on an ODROID-HC4
In the process of messing around with a few different Operating Systems (before eventually settling on Debian Netboot) I’d managed to render the device unbootable. All I’d get upon powering up the device was a solid red LED with no display, after Googling around a little and browsing the forums it looked as though I needed to restore the original bootloader.
At the time of writing, the two latest SPI files are
spiboot-20220317.img. Download both files from this server, then extract and write your
spiupdate_odroidhc4_20201222.img to a Micro SD card either using
dd or Rufus. Once written, rename you
spiboot.img and replace the file in the root of the SD card with this replacement.
Now boot from this SD card, you may need to hold down the black button on the underside when powering on. Once you’re in the temporary PetitBoot environment, select ‘Exit to Shell’ and then run
pb-update. This will go online and update/restore your PetitBoot image. Once done you should now be able to reboot without the SD card straight into PetitBoot, solving the initial problem.