Updated Board NUCLEO F401RE (markdown)

Board-NUCLEO-F401RE.md

@@ -16,14 +16,21 @@ NUCLEO-F401RE
 * mbed enabled (to program it just copy the file "firmware.bin" inside)
 
 ###Status###
-* Initial support [here](https://github.com/nuraci/micropython)
+* Initial support
+  * [nuraci](https://github.com/nuraci/micropython)
+  * [cnoviello](https://github.com/cnoviello/micropython)
 * test in progress
 
 ### How build for ###
-* Change directory to micropython/nucleo
 * To build use one of the following methods:
-   1. ```make BOARD=STM32NUCF401```
-   1. ```export BOARD=STM32NUCF401``` in your environment and then just use make.
-   1. ```make```
-
-
+  1. For cnoviello's port
+    1. cd stmhal
+    1. ```make BOARD=STM32NUCF401```
+    1. ```export BOARD=STM32NUCF401``` in your environment and then just use make.
+    1. ```make```
+    1. ```arm-none-eabi-objcopy -O binary build-STM32F4NUCLEO/firmware.elf build-STM32F4NUCLEO/firmware.bin```
+    1. Copy generated firmware.bin to the Nucleo mbed mount
+  2. For nuraci's port
+    1. ```cd nucleo```
+    2. ```make```
+    3. copy ```build-STM32NUCF401/firmware.bin``` to the Nucleo mbed mount