this post was submitted on 10 Apr 2025
5 points (100.0% liked)

Linux

53000 readers
698 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

I need help installing Fedora CoreOS on a Raspberry Pi 5.

I've tried this method that uses Fedora Media Writer. The Raspberry Pi fails to boot from the flash drive.

I've tried this method that uses the Fedora Arm Installer. The Raspberry Pi fails to boot from the microSD card.

I've tried adapting this method but it seems to be exclusively for the Raspberry Pi 4, and no substitute tools exist. It didn't seem to even install anything on the microSD card.

I'm at a loss. I have no idea how to install it. Can anyone help? I'd be happy to give a step-by-step process of exactly what I did for each method, if needed.

top 7 comments
sorted by: hot top controversial new old
[–] [email protected] 2 points 2 days ago (1 children)

Fedora IoT is similar to CoreOS, that seems primarily aimed towards Pis.

[–] [email protected] 1 points 2 days ago

I specifically need CoreOS since I plan to rebase it to securecore. Thanks for the suggestion, though!

[–] [email protected] 0 points 1 day ago

I would potentially give Ventoy a shot. Since it's bootstrapping the iso after it's already booted, you might have better luck. Even if you don't want to install it that way for a secure system, it might help you with troubleshooting, because if it boots like that you can figure out what the difference is.

[–] [email protected] 0 points 2 days ago (1 children)

Did you update the EEPROM first?

[–] [email protected] 1 points 2 days ago (1 children)

I think so, but I can't be certain. Is there an easy way to check?

[–] [email protected] 2 points 2 days ago (1 children)

Oh, nvm. You said Pi5, which isn't officially supported. See if this works though: https://rpmfusion.org/Howto/RaspberryPi#Raspberry_Pi_5

[–] [email protected] 1 points 2 days ago

Thank you! I will try this tomorrow. I've been at this for 7 or 8 hours straight now.