merging the directions to set up a BBB
diff --git a/aos/config/configure-fitpc.txt b/aos/config/configure-fitpc.txt
deleted file mode 100644
index cb19d7a..0000000
--- a/aos/config/configure-fitpc.txt
+++ /dev/null
@@ -1,58 +0,0 @@
-This file contains notes on setting up a new fit-pc image.
-Doing it right requires knowing what you're doing as a Debian sysadmin, so the
-main goal of this file is to avoid forgetting anything.
-
-Brian last updated this on 2013-08-28 with Debian Wheezy.
-
-1.  Install Debian stable.
-      It will need firmware during the installation.
-	  I partitioned it with (in order) a 0.5G ext2 /boot, a 2G swap, a 3.0G xfs
-	    /, and then an xfs /home on the rest of the SSD.
-      Create 1 user named "driver".
-	  Select only "SSH Server" and
-	    "Basic System Utilities"(or something like that) in tasksel.
-2.  Install aos.conf and starter.
-	  I just changed aos.conf to give driver permissions instead of the group.
-3.  Make exim4 start faster.
-      `dpkg-reconfigure exim4-config` and select the option for making minimal
-	    DNS queries (it also says some junk about modems).
-4.  Configure the network.
-      Edit /etc/network/interfaces to give it the right static IP address.
-	  Set up eth1 like the default eth0 in case the NIC gets assigned that (see
-	    #8 below). That shouldn't be a problem any more, but it's probably good
-		to be on the safe side because it can be a pain to find a screen to fix
-		it otherwise.
-5.  Install stuff.
-      firmware-linux-nonfree is always a good one to get.
-	  Remember to add
-	    <http://robotics.mvla.net/files/frc971/packages/frc971.list>.
-      Besides the custom linux-image package, you'll figure everything else out
-	    as you start trying to run stuff.
-6.  Make SSH logins faster.
-      Add the line "UseDNS no" to /etc/ssh/sshd_config.
-7.  Make it so that the programming team can log in without passwords.
-      Everybody will have to run `ssh-copy-id -i ~/.ssh/id_rsa.pub fitpc` (see
-	    <http://www.debian-administration.org/articles/152> for details).
-8.  Make udev to stop being annoying and naming NICs eth1.
-      udev want to remember the ethernet NIC from each device and name the one
-	    in a new fitpc eth1, which breaks stuff. If that happens, removing
-		/etc/udev/rules.d/70-persistent-net.rules will make it autogenerate a
-		new one and fix it.
-	  To prevent this problem from happening in the first place, follow the
-	    directions in 10-net-eth0.rules.
-9.  Download the code!
-      In order for it to actually run, you'll have to
-	    `mkdir -p ~driver/tmp/robot_logs`.
-50. Clone the image to the rest of the disks.
-      I've had good luck with `dd if=/dev/sdx of=/dev/sdx bs=16384` before, but
-	    that didn't work this time...
-      Using gparted's copy/paste feature for each partition worked this time.
-	    A bug in the gparted version I used meant that it wouldn't copy an XFS
-		  partition to a smaller destination, so I had to manually mount both of
-		  them and `xfsdump -J - /path/to/src | xfsrestore -J - /path/to/dest`.
-		Doing it that way changes the UUIDs on the XFS partitions.
-		  To deal with that, I edited the UUIDs in the /etc/fstab of the clone.
-		  I also had to manually install grub on the clone, which meant mounting
-		    the clone's /boot, `grub-install --boot-directory=bla /dev/sdx`, and
-			then using sed to switch the UUIDs in the clone's
-			/boot/grub/grub.cfg.
diff --git a/aos/config/configure-prime.txt b/aos/config/configure-prime.txt
new file mode 100644
index 0000000..87b2818
--- /dev/null
+++ b/aos/config/configure-prime.txt
@@ -0,0 +1,82 @@
+This file contains notes on setting up a new BBB image.
+Doing it right requires knowing what you're doing as a Debian sysadmin, so the
+main goal of this file is to avoid forgetting anything.
+
+Daniel last updated this on 2014-01-20 with Debian Wheezy.
+
+1.  Install Debian stable.
+    Follow the instructions here:
+    http://blogs.bu.edu/mhirsch/2013/11/install-debian-7-to-emmc-internal-flash-drive-of-beaglebone-black/
+    Create a "driver" user.
+2.  Install aos.conf and starter.
+	  I just changed aos.conf to give driver permissions instead of the group.
+3.  Install and configure exim4.
+    TODO (daniel): We might not need this.
+    `apt-get install exim4-config`
+    `dpkg-reconfigure exim4-config` and select the option for making minimal
+    DNS queries (it also says some junk about modems).
+4.  Configure the network.
+    Edit /etc/network/interfaces to give it the right static IP address.
+	  Set up eth1 like the default eth0 in case the NIC gets assigned that (see
+    #8 below). That shouldn't be a problem any more, but it's probably good
+		to be on the safe side because it can be a pain to find a screen to fix
+		it otherwise.
+5.  Install stuff.
+    This includes the realtime kernel.
+    Note that at the time of this writing, you can't apt-get install the
+    realtime kernel packages directly on the beaglebone.
+    You must download them on your computer, copy them to the beaglebone,
+    and install them using dpkg -i.
+    <http://robotics.mvla.net/files/frc971/packages/>.
+    After you do this, you will still need to modify the zImage
+    symlink to point to the right kernel.
+    `rm /boot/zImage`
+    `ln -s /boot/vmlinuz-3.8.13.9-rt20+ /boot/zImage`
+    After you reboot, you should be running the rt kernel.
+    (Check it with `uname -r`.)
+    Besides the realtime kernel packages, you'll figure everything else out
+    as you start trying to run stuff.
+6.  Make SSH logins faster.
+    Add the line "UseDNS no" to /etc/ssh/sshd_config.
+7.  Make it so that the programming team can log in without passwords.
+    Everybody will have to run `ssh-copy-id -i ~/.ssh/id_rsa.pub BBB` (see
+    <http://www.debian-administration.org/articles/152> for details).
+8.  Make udev stop being annoying and naming NICs eth1.
+    udev wants to remember the ethernet NIC from each device and name the one
+    in a new BBB eth1, which breaks stuff. If that happens, removing
+    /etc/udev/rules.d/70-persistent-net.rules will make it autogenerate a
+    new one and fix it.
+    To prevent this problem from happening in the first place, follow the
+    directions in 10-net-eth0.rules.
+9.  Set up /etc/fstab sanely.
+    Open /etc/fstab on the bbb and remove the last two lines, which the
+    comments indicate mount both partitions on the uSD card.
+	Because the uSD card shows up as /dev/mmcblk0 and pushes the internal emmc
+	to /dev/mmcblk1 when it's plugged in, using those names for the two of them
+	doesn't work very well. Instead, we use /dev/disk/by-path.
+	Add "/dev/disk/by-path/platform-mmc.14-part1 /boot/uboot msdos defaults 0 2"
+	to mount the uboot partition.
+    Also add
+	"/dev/disk/by-path/platform-mmc.5-part1 /home/driver/tmp/robot_logs ext4 defaults,noatime,data=writeback 0 0"
+	to mount the uSD card in the right place for the logs to go to it.
+10. Set up logging.
+    Fairly straightforward here. We want it to log to the uSD card, so:
+    `mkdir ~/tmp`
+    `mkdir /media/driver/sdcard/robot_logs`
+    `ln -s /media/driver/sdcard/robot_logs ~/tmp/robot_logs`
+11. Set the correct date.
+    `date` to check if date is correct.
+    `date -s <date string>` to set it if it isn't.
+12. Make it export UART1 on boot.
+    Add the following to /boot/uboot/uenv.txt:
+    "optargs=capemgr.enable_partno=BB-UART1"
+13. Fix the locale setup for SSHing in.
+    `dpkg-reconfigure locales`, leave it with "en_US.UTF-8" only being
+	enabled, and then select "None" instead of that for the default in
+	the second screen.
+30. Download the code!
+50. Clone the image to the rest of the BBBs.
+    Boot up from a uSD card.
+    `dd if=/dev/mmcblk1 | gzip -c > BBB.img.gz`
+    You can then copy this image to your computer.
+    Use this image to flash other uSD cards and/or BBBs.