diff --git a/arch/risc-v/src/bl602/bl602_start.c b/arch/risc-v/src/bl602/bl602_start.c
index f86f5d369c..690ddc3c29 100644
--- a/arch/risc-v/src/bl602/bl602_start.c
+++ b/arch/risc-v/src/bl602/bl602_start.c
@@ -22,11 +22,12 @@
  * Included Files
  ****************************************************************************/
 
+#include <nuttx/config.h>
+
 #include <stdint.h>
 
-#include <nuttx/config.h>
+#include <nuttx/init.h>
 #include <nuttx/arch.h>
-
 #include <arch/board/board.h>
 
 #include "riscv_arch.h"
diff --git a/arch/risc-v/src/common/riscv_internal.h b/arch/risc-v/src/common/riscv_internal.h
index 46c6d0b77f..cbfbd22997 100644
--- a/arch/risc-v/src/common/riscv_internal.h
+++ b/arch/risc-v/src/common/riscv_internal.h
@@ -228,10 +228,6 @@ void up_earlyserialinit(void);
 void rpmsg_serialinit(void);
 #endif
 
-/* The OS start routine    **************************************************/
-
-void nx_start(void);
-
 /* Debug ********************************************************************/
 
 #ifdef CONFIG_STACK_COLORATION
diff --git a/arch/risc-v/src/fe310/fe310_start.c b/arch/risc-v/src/fe310/fe310_start.c
index 5f1283093a..50c111d698 100644
--- a/arch/risc-v/src/fe310/fe310_start.c
+++ b/arch/risc-v/src/fe310/fe310_start.c
@@ -34,10 +34,11 @@
  * Included Files
  ****************************************************************************/
 
-#include <stdint.h>
-
 #include <nuttx/config.h>
 
+#include <stdint.h>
+
+#include <nuttx/init.h>
 #include <arch/board/board.h>
 
 #include "fe310_clockconfig.h"
diff --git a/arch/risc-v/src/k210/k210_start.c b/arch/risc-v/src/k210/k210_start.c
index bd5084b3e7..836ed74161 100644
--- a/arch/risc-v/src/k210/k210_start.c
+++ b/arch/risc-v/src/k210/k210_start.c
@@ -36,6 +36,7 @@
 
 #include <nuttx/config.h>
 
+#include <nuttx/init.h>
 #include <nuttx/arch.h>
 #include <arch/board/board.h>
 
diff --git a/arch/risc-v/src/litex/litex_start.c b/arch/risc-v/src/litex/litex_start.c
index c3022b4c09..2c08f595d9 100644
--- a/arch/risc-v/src/litex/litex_start.c
+++ b/arch/risc-v/src/litex/litex_start.c
@@ -22,10 +22,11 @@
  * Included Files
  ****************************************************************************/
 
-#include <stdint.h>
-
 #include <nuttx/config.h>
 
+#include <stdint.h>
+
+#include <nuttx/init.h>
 #include <arch/board/board.h>
 
 #include "litex_clockconfig.h"