Skip to content
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

Meta: Add a script for building Raspberry Pi 3 and 4 images #25780

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

spholz
Copy link
Member

@spholz spholz commented Mar 11, 2025

This should make running serenity on Raspberry Pis easier.

Note that at least on my Raspberry Pi 3 and 4, we currently fail to initialize the SD card:

FIXME: The SD Host Controller does not provide the base clock frequency; get this frequency using another method

@github-actions github-actions bot added the 👀 pr-needs-review PR needs review from a maintainer or community member label Mar 11, 2025
@spholz spholz force-pushed the raspberry-pi-image-script branch 2 times, most recently from 2e917ea to 952f946 Compare March 11, 2025 13:50

DISK_SIZE=$(($(disk_usage "$SERENITY_SOURCE_DIR/Base") + $(disk_usage Root) + 512 + 300))

if [ ! -d "raspberry-pi-firmware" ]; then
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So the assumption is that we never need to update the boot directory? Can we not do a git pull (with rebase and another rm for the linux images if necessary) in the existing directory otherwise, so that you’re always up to date and upstream fixes are applied as soon as possible?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wouldn't a git pull --ff-only be good enough? I don't think we need to rebase here.

@spholz spholz force-pushed the raspberry-pi-image-script branch from 952f946 to 8755f60 Compare March 11, 2025 17:27
The kernel image no longer only works on Raspberry Pis, but now also
on the QEMU virt machine.
Rename it to Kernel.bin, so it matches the RISC-V kernel image name.
@spholz spholz force-pushed the raspberry-pi-image-script branch from 8755f60 to 469f1b8 Compare March 11, 2025 22:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
👀 pr-needs-review PR needs review from a maintainer or community member
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants