Index: /trunk/platforms/linux_monocluster/README
===================================================================
--- /trunk/platforms/linux_monocluster/README	(revision 689)
+++ /trunk/platforms/linux_monocluster/README	(revision 690)
@@ -35,5 +35,5 @@
 * GDB=1|[FXSCTZW]: options to the GDB server (1 means FCX which is a good
   default)
-* NCPUS=[1-4]: number of processors
+* NCPUS=[1-4]: number of processors (the default is 4)
 * DSK=[pathname]: path to a filesystem to use with the BlockDevice component
   (also implies creating a system with such a component, other the component is