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