diff --git a/boards/omnibus/f4sd/nuttx-config/nsh/defconfig b/boards/omnibus/f4sd/nuttx-config/nsh/defconfig
index f1a7f5c38c..f5a6459d07 100644
--- a/boards/omnibus/f4sd/nuttx-config/nsh/defconfig
+++ b/boards/omnibus/f4sd/nuttx-config/nsh/defconfig
@@ -62,11 +62,9 @@ CONFIG_I2C_RESET=y
 CONFIG_IDLETHREAD_STACKSIZE=750
 CONFIG_LIBC_FLOATINGPOINT=y
 CONFIG_LIBC_STRERROR=y
-CONFIG_MAX_WDOGPARMS=2
 CONFIG_MEMSET_64BIT=y
 CONFIG_MEMSET_OPTSPEED=y
 CONFIG_MMCSD=y
-CONFIG_MMCSD_MULTIBLOCK_DISABLE=y
 CONFIG_MM_REGIONS=2
 CONFIG_NFILE_DESCRIPTORS=12
 CONFIG_NFILE_STREAMS=8
@@ -104,7 +102,6 @@ CONFIG_NSH_STRERROR=y
 CONFIG_NSH_VARS=y
 CONFIG_PIPES=y
 CONFIG_PREALLOC_TIMERS=50
-CONFIG_PREALLOC_WDOGS=50
 CONFIG_PRIORITY_INHERITANCE=y
 CONFIG_PTHREAD_STACK_MIN=512
 CONFIG_RAM_SIZE=196608
@@ -176,7 +173,6 @@ CONFIG_STM32_WWDG=y
 CONFIG_SYSTEM_CDCACM=y
 CONFIG_SYSTEM_NSH=y
 CONFIG_TASK_NAME_SIZE=24
-CONFIG_TIME_EXTENDED=y
 CONFIG_UART4_BAUD=57600
 CONFIG_UART4_RXBUFSIZE=300
 CONFIG_UART4_TXBUFSIZE=300
diff --git a/boards/omnibus/f4sd/nuttx-config/scripts/script.ld b/boards/omnibus/f4sd/nuttx-config/scripts/script.ld
index fce016b828..857ad24ce6 100644
--- a/boards/omnibus/f4sd/nuttx-config/scripts/script.ld
+++ b/boards/omnibus/f4sd/nuttx-config/scripts/script.ld
@@ -81,11 +81,6 @@ SECTIONS
 		*(.gnu.linkonce.r.*)
 		_etext = ABSOLUTE(.);
 
-		/*
-		 * This is a hack to make the newlib libm __errno() call
-		 * use the NuttX get_errno_ptr() function.
-		 */
-		__errno = get_errno_ptr;
 	} > flash
 
 	/*
diff --git a/boards/omnibus/f4sd/src/init.c b/boards/omnibus/f4sd/src/init.c
index ed5f2a95e2..7d35d0fc19 100644
--- a/boards/omnibus/f4sd/src/init.c
+++ b/boards/omnibus/f4sd/src/init.c
@@ -85,7 +85,7 @@
  ****************************************************************************/
 
 /*
- * Ideally we'd be able to get these from up_internal.h,
+ * Ideally we'd be able to get these from arm_internal.h,
  * but since we want to be able to disable the NuttX use
  * of leds for system indication at will and there is no
  * separate switch, we need to build independent of the
diff --git a/boards/omnibus/f4sd/src/led.c b/boards/omnibus/f4sd/src/led.c
index ac63fe457f..463474a8fd 100644
--- a/boards/omnibus/f4sd/src/led.c
+++ b/boards/omnibus/f4sd/src/led.c
@@ -47,7 +47,7 @@
 #include <nuttx/board.h>
 
 /*
- * Ideally we'd be able to get these from up_internal.h,
+ * Ideally we'd be able to get these from arm_internal.h,
  * but since we want to be able to disable the NuttX use
  * of leds for system indication at will and there is no
  * separate switch, we need to build independent of the
diff --git a/boards/omnibus/f4sd/src/usb.c b/boards/omnibus/f4sd/src/usb.c
index 954076e3e2..f02ec76bb8 100644
--- a/boards/omnibus/f4sd/src/usb.c
+++ b/boards/omnibus/f4sd/src/usb.c
@@ -51,7 +51,7 @@
 #include <nuttx/usb/usbdev.h>
 #include <nuttx/usb/usbdev_trace.h>
 
-#include <up_arch.h>
+#include <arm_arch.h>
 #include <stm32.h>
 #include "board_config.h"