From 12f51e356a12ca4a8c0760a5024fcd990b1a8352 Mon Sep 17 00:00:00 2001
From: mveety <mveety@gmail.com>
Date: Mon, 28 Jan 2013 18:48:34 -0500
Subject: [PATCH] added support for the dos partition on raspberry pi.

---
 rc/bin/9fs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/rc/bin/9fs b/rc/bin/9fs
index 7216eae6a..f94992eba 100755
--- a/rc/bin/9fs
+++ b/rc/bin/9fs
@@ -47,6 +47,14 @@ case sourcesdump
 case sourcessnap
 	9fs sources
 	mount -nC /srv/sources /n/sourcessnap main/snapshot
+case pidos
+	dossrv >/dev/null >[2]/dev/null
+	part=`{ls /dev/sdM*/dos >[2]/dev/null}
+	if(~ $#part 0) {
+		echo 'no dos partition found' >[1=2]
+		exit no.pidos
+	}
+	mount -c '#s/dos' /n/pidos $part
 # arbitrary venti archives
 case vac:*
 	vacfs <{echo $1}