summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2014-06-26 21:58:57 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-06-26 21:58:57 (EDT)
commit97ede70546fa55acf237a498586fde928c31a890 (patch)
treeed6f3bb19ee3ee02928861bb9968f2205bfe5697
parent3fb6090d64c8963cfff266bdc0a80210b36a7554 (diff)
README: Update platforms note.
-rw-r--r--README4
1 files changed, 2 insertions, 2 deletions
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