summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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