-
Notifications
You must be signed in to change notification settings - Fork 58
Hook bootable media for amd64/arm64 UEFI + RPi 3/4/5 + Rockchip/Amlogic u-boot
#261
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…build-deps - it was really never used, we only need `dpkg` which is preinstalled Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- was silently not-including any DTBs due to slight bug - eg, arm64; affects both default and armbian kernels Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- so one can't commit unchecked or unformatted code after linting once Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
…ventory - in preparation for bootable media Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
…_defined_id` to `define_id()` - so we can easily add bootable definitions Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- similar to the kernel/flavour structure Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- main interfaces are: - list_bootable: list possible boards for a given bootable, with their parameters - build_bootable: build a bootable media instance with certain parameters - implementations to come in later commits Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- outputs a separate JSON matrix for bootables Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- takes a directory with files - outputs an image in a directory with a (raw) disk image with a single FAT32 partition - can be ESP or regular - can be GPT or MBR - uses a throwaway Dockerfile to run mtools Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
…tation - this uses the RPi Foundation bootloader binary files - and the rpi-standard `config.txt` and `cmdline.txt` Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- obtains u-boot (and some board definitions) from Armbian via ORAS (oci) - 3 slightly different scenarios, all on the same base: - Rockchip mainline u-boot (GPT, extlinux) - Amlogic mainline u-boot (MBR, extlinux) - Rockchip vendor u-boot (GPT, boot.scr) - boards added are the ones I had access to, more can be added/removed later Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- for bootable media's future benefit Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- incl DTB handling - incl ESP-marked FAT32 partition Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- otherwise they're all "generic" Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
…otable Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
- lets assume Hook default kernels will boot on ACPI-capable+complete machines Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
… bootable media Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
bootable media for amd64/arm64 UEFI + Raspberry 3/4/5 + Rockchip/Amlogic u-bootbootable media for amd64/arm64 UEFI + RPi 3/4/5 + Rockchip/Amlogic u-boot
jacobweinstock
approved these changes
Mar 31, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
0README.txtgeneration for each variantTINK_SERVER/TINK_GRPC_PORT/TINK_WORKER_IMAGE/MACvars/params and presetting in grub.cfg/cmdline.txt/extlinux.conf for self-builder's convenience0README.txt)mkimageHow to test this?
./build.sh bootable-media grub-amd64./build.sh bootable-media rpi.img.xzto media (use eg the "RaspberryPi Imager" software)cmdline.txt/grub.cfg/extlinux.confon the media with a text editor, configure your kernel cmdlineComments are welcome; pending stuff is coming in the next few weeks.