NuttX 10.3+ upgrade (#20190)

Co-authored-by: Peter van der Perk <peter.vanderperk@nxp.com>
Co-authored-by: David Sidrane <David.Sidrane@NscDg.com>
Co-authored-by: alexklimaj <alex@arkelectron.com>

boards/raspberrypi/pico/nuttx-config/nsh/defconfig

@@ -16,8 +16,10 @@ CONFIG_ARCH_CHIP="rp2040"
 CONFIG_ARCH_CHIP_RP2040=y
 CONFIG_ARCH_INTERRUPTSTACK=512
 CONFIG_BOARDCTL_RESET=y
+CONFIG_BOARDCTL=y
 CONFIG_BOARD_LOOPSPERMSEC=10450
 CONFIG_BOARD_RESET_ON_ASSERT=2
+CONFIG_BOARD_ASSERT_RESET_VALUE=0
 CONFIG_BUILTIN=y
 CONFIG_C99_BOOL8=y
 CONFIG_CDCACM=y
@@ -82,12 +84,13 @@ CONFIG_RP2040_SPI0=y
 CONFIG_RP2040_SPI1=y
 CONFIG_RP2040_SPI=y
 CONFIG_RP2040_UART1=y
-CONFIG_SCHED_ATEXIT=y
+CONFIG_LIBC_MAX_EXITFUNS=1
 CONFIG_SCHED_HPWORK=y
 CONFIG_SCHED_HPWORKPRIORITY=249
 CONFIG_SCHED_HPWORKSTACKSIZE=1280
 CONFIG_SCHED_INSTRUMENTATION=y
 CONFIG_SCHED_INSTRUMENTATION_EXTERNAL=y
+CONFIG_SCHED_INSTRUMENTATION_SWITCH=y
 CONFIG_SCHED_LPWORK=y
 CONFIG_SCHED_LPWORKPRIORITY=50
 CONFIG_SCHED_LPWORKSTACKSIZE=1632
@@ -111,6 +114,6 @@ CONFIG_USBDEV=y
 CONFIG_USBDEV_BUSPOWERED=y
 CONFIG_USBDEV_MAXPOWER=500
 CONFIG_USEC_PER_TICK=1000
-CONFIG_USERMAIN_STACKSIZE=2944
-CONFIG_USER_ENTRYPOINT="nsh_main"
+CONFIG_INIT_STACKSIZE=2944
+CONFIG_INIT_ENTRYPOINT="nsh_main"
 CONFIG_WATCHDOG=y

boards/raspberrypi/pico/src/usb.c

@@ -51,7 +51,7 @@
 #include <nuttx/usb/usbdev.h>
 #include <nuttx/usb/usbdev_trace.h>
 
-#include <arm_arch.h>
+#include <arm_internal.h>
 #include "board_config.h"
 
 /************************************************************************************