Ondřej Budai

Booting Fedora Server from USB on Raspberry Pi 4

I’ve recently got a new Raspberry Pi 4 (the 8GB model). Of course, I wanted to run Fedora on it. First decision is which image I should use: Fedora provides both 32-bit armhfp and 64-bit aarch64 images. As I wanted to use the full power of the board, I naturally went for the aarch64 image. I followed the official guide and was able to quickly boot my Pi from an SD card (Samsung Evo Plus 32GB).

Subscription Manager Cheatsheet

This is my tiny personal cheatsheet for subscription-manager that I wrote because I always forget how to use it. If you need something more comprehensive, see this one on the Red Hat Customer Portal.