NuttX in micro-ROS setup

[roskuttan]

I'm trying to set up NuttX in micro_ros_setup but encountering an issue. Although I can see nuttx/ in src/micro_ros_setup/config/, when I run:

roskuttan@SILENT-KILLERED:~/micro_ros_ws$ ros2 run micro_ros_setup create_firmware_ws.sh nuttx olimex-stm32-e407
Non valid RTOS/Platform: nuttx/olimex-stm32-e407
Available platforms:
. android
+-- generic
. freertos
+-- crazyflie21
+-- esp32
+-- nucleo_f446re
+-- nucleo_f446ze
+-- nucleo_f746zg
+-- nucleo_f767zi
+-- olimex-stm32-e407
. generate_lib
+-- generic
. host
+-- generic
. raspbian
+-- stretch_v8
+-- buster_v7
+-- buster_v8
. zephyr
+-- discovery_l475_iot1
+-- olimex-stm32-e407
+-- nucleo_f401re
+-- nucleo_h743zi
+-- nucleo_f746zg
[ros2run]: Process exited with failure 1

Yet, the tutorial for NuttX exists in the documentation,also i followed Adding Micro-ROS to a NuttX board configuration for adding my board but since the tutorial is unmatained i don't if it will work i dont know how to go further if any body can guide me how to make this work it will be nice.