From 97ede70546fa55acf237a498586fde928c31a890 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Thu, 26 Jun 2014 21:58:57 -0400
Subject: README: Update platforms note.

---
diff --git a/README b/README
index 810d568..4123ef6 100644
--- a/README
+++ b/README
@@ -27,8 +27,8 @@ e.g.:
 
     $ sudo ./miniprokit.sh install -a i686-linux-glibc root
 
-Platforms can be chosen using the -P option (though ProteanOS currently
-only provides the "dev" platform):
+Platforms can be chosen using the -P option (ProteanOS currently
+provides "dev", "ao751h", and "dimension2400"):
 
     $ sudo ./miniprokit.sh install -P dev root
 
--
cgit v0.9.1