diff --git a/configs/stm32f746g-disco/include/board.h b/configs/stm32f746g-disco/include/board.h
index 5d4baadacb7..cd26b560cb0 100644
--- a/configs/stm32f746g-disco/include/board.h
+++ b/configs/stm32f746g-disco/include/board.h
@@ -292,6 +292,7 @@
 #define GPIO_USART6_TX GPIO_USART6_TX_1
 
 /* The STM32 F7 connects to a SMSC LAN8742A PHY using these pins:
+ *
  *   STM32 F7 BOARD        LAN8742A
  *   GPIO     SIGNAL       PIN NAME
  *   -------- ------------ -------------
@@ -300,13 +301,16 @@
  *   PG14     RMII_TXD1    TXD1
  *   PC4      RMII_RXD0    RXD0/MODE0
  *   PC5      RMII_RXD1    RXD1/MODE1
- *   PG2      RMII_RXER    RXER/PHYAD0
+ *   PG2      RMII_RXER    RXER/PHYAD0 -- Not used
  *   PA7      RMII_CRS_DV  CRS_DV/MODE2
  *   PC1      RMII_MDC     MDC
  *   PA2      RMII_MDIO    MDIO
  *   N/A      NRST         nRST
  *   PA1      RMII_REF_CLK nINT/REFCLK0
  *   N/A      OSC_25M      XTAL1/CLKIN
+ *
+ * The PHY address is either 0 or 1, depending on the state of PG2 on reset.
+ * PG2 is not controlled but appears to result in a PHY address of 0.
  */
 
 #define GPIO_ETH_RMII_TX_EN   GPIO_ETH_RMII_TX_EN_2
diff --git a/configs/stm32f746g-disco/netnsh/defconfig b/configs/stm32f746g-disco/netnsh/defconfig
index 8b049b69557..57c65ecba6e 100644
--- a/configs/stm32f746g-disco/netnsh/defconfig
+++ b/configs/stm32f746g-disco/netnsh/defconfig
@@ -49,7 +49,7 @@ CONFIG_RAW_BINARY=y
 CONFIG_ARCH_HAVE_HEAPCHECK=y
 CONFIG_ARCH_HAVE_STACKCHECK=y
 # CONFIG_STACK_COLORATION is not set
-CONFIG_DEBUG_SYMBOLS=y
+# CONFIG_DEBUG_SYMBOLS is not set
 CONFIG_ARCH_HAVE_CUSTOMOPT=y
 CONFIG_DEBUG_NOOPT=y
 # CONFIG_DEBUG_CUSTOMOPT is not set
@@ -232,7 +232,7 @@ CONFIG_STM32F7_USART6=y
 #
 # Ethernet MAC configuration
 #
-CONFIG_STM32F7_PHYADDR=1
+CONFIG_STM32F7_PHYADDR=0
 # CONFIG_STM32F7_PHYINIT is not set
 # CONFIG_STM32F7_MII is not set
 CONFIG_STM32F7_AUTONEG=y
@@ -406,6 +406,7 @@ CONFIG_SIG_SIGUSR1=1
 CONFIG_SIG_SIGUSR2=2
 CONFIG_SIG_SIGALARM=3
 CONFIG_SIG_SIGCONDTIMEDOUT=16
+CONFIG_SIG_SIGWORK=17
 
 #
 # POSIX Message Queue Options
@@ -416,8 +417,11 @@ CONFIG_MQ_MAXMSGSIZE=32
 #
 # Work Queue Support
 #
-# CONFIG_SCHED_WORKQUEUE is not set
-# CONFIG_SCHED_HPWORK is not set
+CONFIG_SCHED_WORKQUEUE=y
+CONFIG_SCHED_HPWORK=y
+CONFIG_SCHED_HPWORKPRIORITY=224
+CONFIG_SCHED_HPWORKPERIOD=50000
+CONFIG_SCHED_HPWORKSTACKSIZE=2048
 # CONFIG_SCHED_LPWORK is not set
 
 #
@@ -583,7 +587,7 @@ CONFIG_USART6_2STOP=0
 CONFIG_ARCH_HAVE_NET=y
 CONFIG_ARCH_HAVE_PHY=y
 CONFIG_NET=y
-# CONFIG_NET_NOINTS is not set
+CONFIG_NET_NOINTS=y
 # CONFIG_NET_PROMISCUOUS is not set
 
 #
diff --git a/configs/stm32f746g-disco/src/Makefile b/configs/stm32f746g-disco/src/Makefile
index d07c109f751..3abc0ab05a8 100644
--- a/configs/stm32f746g-disco/src/Makefile
+++ b/configs/stm32f746g-disco/src/Makefile
@@ -57,7 +57,7 @@ CSRCS +=  stm32_buttons.c
 endif
 
 ifeq ($(CONFIG_LIB_BOARDCTL),y)
-CSRCS += stm32_applinitialize.c
+CSRCS += stm32_appinitialize.c
 endif
 
 ifeq ($(CONFIG_ARCH_FPU),y)
diff --git a/configs/stm32f746g-disco/src/stm32_boot.c b/configs/stm32f746g-disco/src/stm32_boot.c
index 9442fda8ed5..b4019885230 100644
--- a/configs/stm32f746g-disco/src/stm32_boot.c
+++ b/configs/stm32f746g-disco/src/stm32_boot.c
@@ -89,24 +89,20 @@ void stm32_boardinitialize(void)
 
   board_led_initialize();
 #endif
-
-#ifdef CONFIG_STM32F7_FSMC
-  stm32_enablefsmc();
-#endif
 }
 
-/****************************************************************************
+/************************************************************************************
  * Name: board_initialize
  *
  * Description:
- *   If CONFIG_BOARD_INITIALIZE is selected, then an additional
- *   initialization call will be performed in the boot-up sequence to a
- *   function called board_initialize().  board_initialize() will be
- *   called immediately after up_initialize() is called and just before the
- *   initial application is started.  This additional initialization phase
- *   may be used, for example, to initialize board-specific device drivers.
+ *   If CONFIG_BOARD_INITIALIZE is selected, then an additional initialization call
+ *   will be performed in the boot-up sequence to a function called
+ *   board_initialize().  board_initialize() will be called immediately after
+ *   up_initialize() is called and just before the initial application is started.
+ *   This additional initialization phase may be used, for example, to initialize
+ *   board-specific device drivers.
  *
- ****************************************************************************/
+ ************************************************************************************/
 
 #ifdef CONFIG_BOARD_INITIALIZE
 void board_initialize(void)
diff --git a/configs/stm32f746g-disco/src/stm32f746g-disco.h b/configs/stm32f746g-disco/src/stm32f746g-disco.h
index 4d7d17bfa6b..5b67d4c45a0 100644
--- a/configs/stm32f746g-disco/src/stm32f746g-disco.h
+++ b/configs/stm32f746g-disco/src/stm32f746g-disco.h
@@ -60,7 +60,7 @@
                          GPIO_OUTPUT_CLEAR | GPIO_PORTI | GPIO_PIN1)
 
 /* Pushbutton B1, labelled "User", is connected to GPIO PI11.  A high value will be sensed when the
- * button is depressed. Ntocie the EXTI interrupts are configured.
+ * button is depressed. Note that the EXTI interrupt is configured.
  */
 
 #define GPIO_BTN_USER   (GPIO_INPUT | GPIO_FLOAT | GPIO_EXTI | GPIO_PORTI | GPIO_PIN11)