From 142862ba8161740e24fdcb42303d692a2cbe3c3f Mon Sep 17 00:00:00 2001 From: Flo H Date: Mon, 8 May 2023 11:40:39 +0000 Subject: [PATCH] Update URL for fetching iso images --- modules/ROOT/pages/raspberry-pi.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/ROOT/pages/raspberry-pi.adoc b/modules/ROOT/pages/raspberry-pi.adoc index d534d2d..f93bf43 100644 --- a/modules/ROOT/pages/raspberry-pi.adoc +++ b/modules/ROOT/pages/raspberry-pi.adoc @@ -44,7 +44,7 @@ This documentation describes how to get started, and includes a Frequently Asked * If using a USB flash drive, with USB boot: ** A USB flash drive, preferrably USB 3.0 or newer (16GB or larger) * A computer running Microsoft Windows, macOS, or Linux. -* A Fedora ARM image from: link:https://arm.fedoraproject.org/[]. +* A Fedora ARM® aarch64 Workstation or server image from: link:https://fedoraproject.org/[]. The procedure for installing Fedora ARM on a microSD in preparation for using Fedora on a Raspberry Pi depends on your computers' operating system (Microsoft Windows, macOS, or Linux).