You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello. I'm building sd card image for RPi (via Nix, but you can also imagine doing it using Buildroot etc..) and I'll like to patch this prebuilt UEFI firmware so it uses 4G RAM and devicetree so it can boot out of the box without any initial setup.
I understand such settings are stored directly inside the RPI_EFI.fd. What format are they stored in? Are they at deterministic offset? Is it feasible to write a script to change them?
The text was updated successfully, but these errors were encountered:
Hello. I'm building sd card image for RPi (via Nix, but you can also imagine doing it using Buildroot etc..) and I'll like to patch this prebuilt UEFI firmware so it uses 4G RAM and devicetree so it can boot out of the box without any initial setup.
I understand such settings are stored directly inside the
RPI_EFI.fd
. What format are they stored in? Are they at deterministic offset? Is it feasible to write a script to change them?The text was updated successfully, but these errors were encountered: