After several bad nightlies I used f17arm-20120704-230001-arm-rpi-xfce-mmcblk0.img.xz
with the following build plan. System worked pretty well. Couldn't run all the yums in one step. I think it exceeded my paging space. The gnash stuff handled the flash files pretty well. The Pi didn't have enough horsepower to run the youtube I selected without breaks but it streamed off the internet pretty well. Firefox selected it's own plugin to handle a pdf document. Rhythmbox played a wave file quite well. An ogg file had static and several real problems. I guess I don't have the arm mp3 plugin yet. Pharga failed. amixer failed but I got the analog audio anyway. All in all it ran pretty well. Based on rootfs usage I think I will go back to a 2GB swap. With little memory you basically run off the SDcard and use memory as a big cache. The system ran eight hours with one unplanned reboot.
How to build a 8GB or larger SDcard with Fedora 17 for Raspberry Pi with
selinux disabled and a 1.5GB swap partition added on Fedora 17 support
system. Remember that the Raspberry Pi root password is "fedoraarm"
Substitute your "userid" for "rgf" in examples below.
1. Download ----.xz and ----.xz.sha256sum from
2. Run "sha256sum -c ----.xz.sha256sum" to verify download
3. Download by clicking "ZIP" at https://github.com/Hexxeh/rpi-update
4. Select "File" then "Downloads" and right click rpi-update.zip selecting "Archive mounter" and copy README to Documents and rpi-update to Downloads
5. Run "su - root" to run as root on your support system and insert SDcard.
6. Run "cd /home/rgf/Downloads" cd to your Downloads directory
7. Run "xzcat ----.xz > /dev/???" write build image to SDcard
8. Run "sync" finish writing image to SDcard
9. Run "umount /dev/???" unmount the SDcard, remove it and re-insert it
9. Select "gparted" and allocate and format a 1.5GB swap area at the end
of the SDcard. Also resize rootfs on SDcard.
10. Run "cd /run/media/rgf/rootfs" to cd to SDcard rootfs
11. Run "gedit etc/selinux/config" and set the SDcard to "SELINUX=disabled"
12. Run "gedit etc/fstab" and add to the SDcard etc/fstab a new line
"/dev/mmcblk0p3 swap swap defaults 0 0"
13. Run "cp /home/rgf/Downloads/rpi-update usr/bin" to copy rpi-updte to SDcard.
14. Run "chmod +x usr/bin/rpi-update"
15. Run "cd /" stop using the SDcard
9. Run "umount /dev/???" unmount SDcard, insert it into Raspberry PI SD slot, and power-on.
16. logon as "guest" and select the default profile.
17. Add a new user (yourID) and add audio, jackusr,and video groups to it.
18. Start a terminal and "su - root" to run as root on Raspberry Pi
19. Run "swapon -s" and check for swap
20. Run "yum clean all"
21. Run "yum install git" (to allow rpi-update to work)
22. Run "rpi-update" (to update kernel and firmware)
23. Run "shutdown -H", cycle Pi power down, wait 10 sec, and then up and login (your userid)
24. Start a terminal and "su - root" to run as root
25. Run "yum install alsa*" (to install sound software)
26. Run "yum install gedit" (I don't care for vi)
27. Run "yum install rhythmbox" (prefer over Pharga)
28. Run "yum install hplip-gui" (for HP printer installs)
29. Run "yum install gnash" (flash display stuff"
30. Run "yum install ghostscript" (pdf postscript tool)
31. Run "modprobe snd-bcm2835" (to load kernel sound driver)
32. transfer music, pictures, and other user data to SDcard via a usb stick.
33. use Add/Remove software application to customize your system.
34. activate/run printer (for HP printers use hp-setup and hp-makeuri)
35. Run "gedit" to test it
36. Run "alsactl init" (to initialize sound system)
37. Run firefox (install homepage, run flash "The day the dollar died", browse a pdf file)
38. Run Pharga or Rhythmbox with ogg, mp3, and/or wav