|
Size: 4258
Comment:
|
← Revision 25 as of 2024-04-24 07:23:36 ⇥
Size: 4258
Comment: Add links to Fedora 40 pre-built images
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 26: | Line 26: |
| == Pre-built images (f40) == The location of pre-generated images for Fedora 38 can be found below: || Flavor || aarch64 || || Server || [[https://ufile.io/br3bfol9|image]] / [[https://ufile.io/5tvdtl30|checksum]] || || Workstation || [[https://ufile.io/dbt4yr3c|image]] / [[https://ufile.io/mr9cxxto|checksum]] || |
|
| Line 31: | Line 37: |
== Pre-built images (f38) == The location of pre-generated images for Fedora 38 can be found below: || Flavor || aarch64 || || Server || [[https://ufile.io/v4zb53de|image]] / [[https://ufile.io/r35ookra|checksum]] || || Workstation || [[https://ufile.io/al7o0b04|image]] / [[https://ufile.io/trsrblhg|checksum]] || |
Contents
About this Howto
This documentation is about using Raspberry Pi Foundation downstream kernel and components from Fedora userspace. The Workstation flavor is recommended for the Raspberry Pi 4 B/400 with >=4GB RAM platform. The Server flavor is usable on starting from Raspberry Pi 3 B/B+.
Kickstart files
Kickstart files are located at https://pagure.io/fork/dwrobel/fedora-kickstarts repository and are based on the original Fedora 39 files with the following modifications:
The modifications in livecd-tools and pykickstart allows to generate image with selected downstream kernel (despite it has lower version) over the upstream one. On a system, all aforementioned repositories are installed with priority=50 option to instruct 'dnf' to choose packages from this repository, rather then Fedora default.
Pre-built images (f40)
The location of pre-generated images for Fedora 38 can be found below:
Pre-built images (f39)
The location of pre-generated images for Fedora 39 can be found below:
Updating Raspberry Pi 4 bootloader EEPROM
Follow the gist available at: https://gist.github.com/dwrobel/266ad5d4e59b05ea26d8bb6725118578.
Configurations
Booting from external USB drive
Write the image to the external drive, then mount the filesystem and change root=/dev/mmcblk0p2 to root=/dev/sda2 in the /boot/efi/cmdline.txt.
Note: On the Raspberry Pi 4, you may need to adjust BOOT_ORDER= parameter in order be able to boot from the external drive.
Resizing filesystem
After booting the system, please consider to resize the filesystem. The following example assumes system booted from internal SD card.
sudo growpart -u on /dev/mmcblk0 2 sudo btrfs filesystem resize max /
Bug Report
Downstream bugs on the kernel can be reported to https://github.com/raspberrypi/linux/