FPU emulation

README.md

@@ -36,16 +36,26 @@ Use the `CFG` Makefile parameter:
     -rwxr-xr-x 1 root root  47860 Mar 16 17:48 fputest
     -rwxr-xr-x 1 root root 585178 Mar 16 17:48 fputest.debug
 
+If no `CFG` option is passed, the default is Debug compilation.
+
 Notice that in release compilation, the process creates a small binary (containing
 only the executable code) and separately, the debug information - for loading
 from inside GDB via the `file` command.
 
 * Native FPU usage for the FPU_SRC sources:
 
-To use native FPU compilation for the FPU_SRC list of source files:
+To use native FPU compilation for the FPU_SRC list of source files, use the `FPU` Makefile parameter:
 
     $ make CFG=release FPU=1
 
+To use emulation (default, if `FPU` option is not passed) pass 0:
+
+    $ make CFG=release FPU=0
+
+or just
+
+    $ make CFG=release
+
 * Verbosity:
 
 Compilation messages follow the semantics of the Linux kernel compilations,