Raspberry Pi Fedora Remix

---

The Raspberry Pi Fedora Remix is a Linux software distribution for the Raspberry Pi computer. It contains software packages from the Fedora Project (specifically, the Fedora ARM secondary architecture project), packages which have been specifically written for or modified for the Raspberry Pi, and proprietary software provided by the Raspberry Pi Foundation for device access.

Remix Releases

Currently available:

• Raspberry Pi Fedora Remix 14

In preparation:

• Raspberry Pi Fedora Remix 17

Installing the Raspberry Pi Fedora Remix

Using the Installer

The easiest way to install the Remix is to use the installer program.

Needed:

• A computer with at least 5 GB of free disk space, running one of these operating systems:
  • Fedora
  • Windows Vista or Windows 7
  • Other Linux
• An SD or SDHC card, with a capacity of 2GB or more. (Good-quality class 4 cards usually work well). Do not use a MicroSD card with an adapter -- it will not be recognized by the Raspberry Pi.
• An SD/SDHC card writer, either built in to the computer or connected to a USB port.
• An Internet connection.

Steps:

1. Download the installer from the appropriate link:
   • Fedora (link to be provided)
   • Windows (link to be provided)
   • Other Linux (link to be provided)
2. Run the installer.
3. Click the refresh (circle-arrow) button to retrieve a list of available images and mirror locations.
4. Select the image you wish to install ("Raspberry Pi Fedora Remix 14") -- or, if you have already downloaded the image file, browse to that file's location.
5. Select the device on which you wish to install the image (WARNING: all data on this device will be deleted! - be sure you have selected the correct device).
6. Click "Install".
7. Wait until the program states that the installation is complete before removing the card.

Using the dd Command

The image can also be installed using the Unix/Linux dd command.

Needed:

• A computer with at least 5 GB of free disk space, running some form of Unix or Linux.
• An SD or SDHC card, with a capacity of 2GB or more. (Good-quality class 4 cards usually work well). Do not use a MicroSD card with an adapter -- it will not be recognized by the Raspberry Pi.
• An SD/SDHC card writer, either built in to the computer or connected to a USB port.
• An Internet connection.

Steps:

1. Download the image (link to be provided)
2. Insert your SD/SDHC card into the card reader, and attach to the computer if necessary.
3. Identify the device node of the SD card (this will be something like /dev/sdc or /dev/mmcblk0).
   • Do not use a partition device node (for example: use /dev/sdc or /dev/mmcblk0, not /dev/sdc1 or /dev/mmcblk0p1).
   • An easy way to identify the card is to list the device nodes (ls -l /dev/sd* /dev/mmcblk*) before and after inserting the SD card. Device nodes that that appear when the card is inserted correspond to the card.
4. Ensure that the device is unmounted.
5. Copy the image file to the card: dd if=/dev/NameOfImageFile of=/dev/DeviceNode
6. Ensure that the image is fully written onto the card: sync
7. Remove the card.