diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 9c57b72914..876a5ab602 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -120,13 +120,13 @@ jobs:
     steps:
     - uses: actions/checkout@v3
       with: { fetch-depth: 2 }
-    - run: if ./test/match_changed_files.sh "^src|examples/device-dashboard|examples/stm32/nucleo-f7" ; then echo GO=1 >> $GITHUB_ENV ; fi
+    - run: if ./test/match_changed_files.sh "^src|examples/device-dashboard|examples/stm32/nucleo-f7.*-make-" ; then echo GO=1 >> $GITHUB_ENV ; fi
     - if: ${{ env.GO == 1 }}
       run: sudo apt -y update; sudo apt -y install gcc-arm-none-eabi
     - if: ${{ env.GO == 1 }}
       run:  make -C examples/stm32/nucleo-f746zg-make-baremetal-builtin test VCON_API_KEY=${{secrets.VCON_API_KEY}}
     - if: ${{ env.GO == 1 }}
-      run:  make -C examples/stm32/nucleo-f746zg-freertos test VCON_API_KEY=${{secrets.VCON_API_KEY}}
+      run:  make -C examples/stm32/nucleo-f746zg-make-freertos-builtin test VCON_API_KEY=${{secrets.VCON_API_KEY}}
     - if: ${{ env.GO == 1 }}
       run:  make -C examples/stm32/nucleo-f746zg-freertos-tcp test VCON_API_KEY=${{secrets.VCON_API_KEY}}
     - run: echo GO=0 >> $GITHUB_ENV ; if ./test/match_changed_files.sh '^src|examples/stm32/nucleo-f7.*-cube-'; then echo GO=1 >> $GITHUB_ENV ; fi
@@ -142,13 +142,13 @@ jobs:
     steps:
     - uses: actions/checkout@v3
       with: { fetch-depth: 2 }
-    - run: if ./test/match_changed_files.sh "^src|examples/device-dashboard|examples/stm32/nucleo-f4" ; then echo GO=1 >> $GITHUB_ENV ; fi
+    - run: if ./test/match_changed_files.sh "^src|examples/device-dashboard|examples/stm32/nucleo-f4.*-make-" ; then echo GO=1 >> $GITHUB_ENV ; fi
     - if: ${{ env.GO == 1 }}
       run: sudo apt -y update; sudo apt -y install gcc-arm-none-eabi
     - if: ${{ env.GO == 1 }}
       run:  make -C examples/stm32/nucleo-f429zi-make-baremetal-builtin test VCON_API_KEY=${{secrets.VCON_API_KEY}}
     - if: ${{ env.GO == 1 }}
-      run:  make -C examples/stm32/nucleo-f429zi-freertos test VCON_API_KEY=${{secrets.VCON_API_KEY}}
+      run:  make -C examples/stm32/nucleo-f429zi-make-freertos-builtin test VCON_API_KEY=${{secrets.VCON_API_KEY}}
     - run: echo GO=0 >> $GITHUB_ENV ; if ./test/match_changed_files.sh '^src|examples/stm32/nucleo-f4.*-cube-'; then echo GO=1 >> $GITHUB_ENV ; fi
     - if: ${{ env.GO == 1 }}
       run: make -C test/cube test PROJECTS=../../examples/stm32/nucleo-f429zi-cube-baremetal-builtin VCON_API_KEY=${{secrets.VCON_API_KEY}} DEVICE=2
@@ -162,7 +162,7 @@ jobs:
     steps:
     - uses: actions/checkout@v3
       with: { fetch-depth: 3 }
-    - run: if ./test/match_changed_files.sh "^src|examples/device-dashboard|examples/stm32/nucleo-h7" ; then echo GO=1 >> $GITHUB_ENV ; fi
+    - run: if ./test/match_changed_files.sh "^src|examples/device-dashboard|examples/stm32/nucleo-h7.*-make-" ; then echo GO=1 >> $GITHUB_ENV ; fi
     - if: ${{ env.GO == 1 }}
       run: sudo apt -y update; sudo apt -y install gcc-arm-none-eabi
     - if: ${{ env.GO == 1 }}
@@ -224,10 +224,10 @@ jobs:
           - path: esp32/uart-bridge
           - path: esp8266/http-client-server
           - path: stm32/nucleo-f429zi-make-baremetal-builtin
-          - path: stm32/nucleo-f429zi-freertos
+          - path: stm32/nucleo-f429zi-make-freertos-builtin
           - path: stm32/nucleo-f429zi-rndis
           - path: stm32/nucleo-f746zg-make-baremetal-builtin
-          - path: stm32/nucleo-f746zg-freertos
+          - path: stm32/nucleo-f746zg-make-freertos-builtin
           - path: stm32/nucleo-f746zg-freertos-tcp
           - path: stm32/nucleo-f746zg-rndis
           - path: stm32/nucleo-h743zi-make-baremetal-builtin
diff --git a/examples/stm32/nucleo-f429zi-freertos/README.md b/examples/stm32/nucleo-f429zi-freertos/README.md
deleted file mode 100644
index 8abf9124e7..0000000000
--- a/examples/stm32/nucleo-f429zi-freertos/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# FreeRTOS Web device dashboard on NUCLEO-F429ZI
-
-See https://mongoose.ws/tutorials/stm32/nucleo-f429zi-freertos/
diff --git a/examples/stm32/nucleo-f429zi-make-baremetal-builtin/main.c b/examples/stm32/nucleo-f429zi-make-baremetal-builtin/main.c
index 1dc8a3afb4..3c50d24f42 100644
--- a/examples/stm32/nucleo-f429zi-make-baremetal-builtin/main.c
+++ b/examples/stm32/nucleo-f429zi-make-baremetal-builtin/main.c
@@ -33,7 +33,7 @@ static void timer_fn(void *arg) {
 }
 
 int main(void) {
-  gpio_output(LED);               // Setup green LED
+  gpio_output(LED);               // Setup blue LED
   uart_init(UART_DEBUG, 115200);  // Initialise debug printf
   ethernet_init();                // Initialise ethernet pins
   MG_INFO(("Starting, CPU freq %g MHz", (double) SystemCoreClock / 1000000));
diff --git a/examples/stm32/nucleo-f429zi-freertos/FreeRTOSConfig.h b/examples/stm32/nucleo-f429zi-make-freertos-builtin/FreeRTOSConfig.h
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/FreeRTOSConfig.h
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/FreeRTOSConfig.h
diff --git a/examples/stm32/nucleo-f429zi-freertos/Makefile b/examples/stm32/nucleo-f429zi-make-freertos-builtin/Makefile
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/Makefile
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/Makefile
diff --git a/examples/stm32/nucleo-f429zi-make-freertos-builtin/README.md b/examples/stm32/nucleo-f429zi-make-freertos-builtin/README.md
new file mode 100644
index 0000000000..066578a021
--- /dev/null
+++ b/examples/stm32/nucleo-f429zi-make-freertos-builtin/README.md
@@ -0,0 +1,3 @@
+# FreeRTOS Web device dashboard on NUCLEO-F429ZI
+
+See https://mongoose.ws/tutorials/stm32/all-make-freertos-builtin/
diff --git a/examples/stm32/nucleo-f429zi-freertos/hal.h b/examples/stm32/nucleo-f429zi-make-freertos-builtin/hal.h
similarity index 83%
rename from examples/stm32/nucleo-f429zi-freertos/hal.h
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/hal.h
index 5d59e96bc9..58e24069cc 100644
--- a/examples/stm32/nucleo-f429zi-freertos/hal.h
+++ b/examples/stm32/nucleo-f429zi-make-freertos-builtin/hal.h
@@ -1,6 +1,7 @@
 // Copyright (c) 2022 Cesanta Software Limited
 // All rights reserved
 // https://www.st.com/resource/en/reference_manual/dm00031020-stm32f405-415-stm32f407-417-stm32f427-437-and-stm32f429-439-advanced-arm-based-32-bit-mcus-stmicroelectronics.pdf
+// https://www.st.com/resource/en/datasheet/stm32f429zi.pdf
 
 #pragma once
 
@@ -11,12 +12,19 @@
 #include <stdio.h>
 #include <string.h>
 
+
 #define BIT(x) (1UL << (x))
 #define SETBITS(R, CLEARMASK, SETMASK) (R) = ((R) & ~(CLEARMASK)) | (SETMASK)
 #define PIN(bank, num) ((((bank) - 'A') << 8) | (num))
 #define PINNO(pin) (pin & 255)
 #define PINBANK(pin) (pin >> 8)
 
+#define LED1 PIN('B', 0)   // On-board LED pin (green)
+#define LED2 PIN('B', 7)   // On-board LED pin (blue)
+#define LED3 PIN('B', 14)  // On-board LED pin (red)
+
+#define LED LED2              // Use blue LED for blinking
+
 // 6.3.3: APB1 clock <= 45MHz; APB2 clock <= 90MHz
 // 3.5.1, Table 11: configure flash latency (WS) in accordance to clock freq
 // 33.4: The AHB clock must be at least 25 MHz when Ethernet is used
@@ -88,7 +96,6 @@ static inline void irq_exti_attach(uint16_t pin) {
 #endif
 
 static inline void uart_init(USART_TypeDef *uart, unsigned long baud) {
-  // https://www.st.com/resource/en/datasheet/stm32f429zi.pdf
   uint8_t af = 7;           // Alternate function
   uint16_t rx = 0, tx = 0;  // pins
   uint32_t freq = 0;        // Bus frequency. UART1 is on APB2, rest on APB1
@@ -130,6 +137,22 @@ static inline uint32_t rng_read(void) {
   return RNG->DR;
 }
 
+static inline void ethernet_init(void) {
+  // Initialise Ethernet. Enable MAC GPIO pins, see
+  // https://www.farnell.com/datasheets/2014265.pdf section 6.10
+  uint16_t pins[] = {PIN('A', 1),  PIN('A', 2),  PIN('A', 7),
+                     PIN('B', 13), PIN('C', 1),  PIN('C', 4),
+                     PIN('C', 5),  PIN('G', 11), PIN('G', 13)};
+  for (size_t i = 0; i < sizeof(pins) / sizeof(pins[0]); i++) {
+    gpio_init(pins[i], GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_INSANE,
+              GPIO_PULL_NONE, 11);  // 11 is the Ethernet function
+  }
+  NVIC_EnableIRQ(ETH_IRQn);                // Setup Ethernet IRQ handler
+  SYSCFG->PMC |= SYSCFG_PMC_MII_RMII_SEL;  // Use RMII. Goes first!
+  RCC->AHB1ENR |=
+      RCC_AHB1ENR_ETHMACEN | RCC_AHB1ENR_ETHMACTXEN | RCC_AHB1ENR_ETHMACRXEN;
+}
+
 #define UUID ((uint8_t *) UID_BASE)  // Unique 96-bit chip ID. TRM 39.1
 
 // Helper macro for MAC generation
diff --git a/examples/stm32/nucleo-f429zi-freertos/link.ld b/examples/stm32/nucleo-f429zi-make-freertos-builtin/link.ld
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/link.ld
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/link.ld
diff --git a/examples/stm32/nucleo-f746zg-freertos/main.c b/examples/stm32/nucleo-f429zi-make-freertos-builtin/main.c
similarity index 70%
rename from examples/stm32/nucleo-f746zg-freertos/main.c
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/main.c
index 75117899f4..5167821bdc 100644
--- a/examples/stm32/nucleo-f746zg-freertos/main.c
+++ b/examples/stm32/nucleo-f429zi-make-freertos-builtin/main.c
@@ -1,15 +1,10 @@
-// Copyright (c) 2022 Cesanta Software Limited
+// Copyright (c) 2022-2023 Cesanta Software Limited
 // All rights reserved
 
 #include "hal.h"
 #include "mongoose.h"
 #include "net.h"
 
-#define LED1 PIN('B', 0)   // On-board LED pin (green)
-#define LED2 PIN('B', 7)   // On-board LED pin (blue)
-#define LED3 PIN('B', 14)  // On-board LED pin (red)
-
-#define LED LED2              // Use blue LED for blinking
 #define BLINK_PERIOD_MS 1000  // LED blinking period in millis
 
 void mg_random(void *buf, size_t len) {  // Use on-board RNG
@@ -27,22 +22,6 @@ static void timer_fn(void *arg) {
            ifp->ndrop, ifp->nerr));
 }
 
-static void ethernet_init(void) {
-  // Initialise Ethernet. Enable MAC GPIO pins, see
-  // https://www.farnell.com/datasheets/2014265.pdf section 6.10
-  uint16_t pins[] = {PIN('A', 1),  PIN('A', 2),  PIN('A', 7),
-                     PIN('B', 13), PIN('C', 1),  PIN('C', 4),
-                     PIN('C', 5),  PIN('G', 11), PIN('G', 13)};
-  for (size_t i = 0; i < sizeof(pins) / sizeof(pins[0]); i++) {
-    gpio_init(pins[i], GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_INSANE,
-              GPIO_PULL_NONE, 11);  // 11 is the Ethernet function
-  }
-  NVIC_EnableIRQ(ETH_IRQn);                // Setup Ethernet IRQ handler
-  SYSCFG->PMC |= SYSCFG_PMC_MII_RMII_SEL;  // Use RMII. Goes first!
-  RCC->AHB1ENR |=
-      RCC_AHB1ENR_ETHMACEN | RCC_AHB1ENR_ETHMACTXEN | RCC_AHB1ENR_ETHMACRXEN;
-}
-
 static void server(void *args) {
   struct mg_mgr mgr;        // Initialise Mongoose event manager
   mg_mgr_init(&mgr);        // and attach it to the interface
diff --git a/examples/stm32/nucleo-f429zi-freertos/mongoose.c b/examples/stm32/nucleo-f429zi-make-freertos-builtin/mongoose.c
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/mongoose.c
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/mongoose.c
diff --git a/examples/stm32/nucleo-f429zi-freertos/mongoose.h b/examples/stm32/nucleo-f429zi-make-freertos-builtin/mongoose.h
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/mongoose.h
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/mongoose.h
diff --git a/examples/stm32/nucleo-f429zi-freertos/mongoose_custom.h b/examples/stm32/nucleo-f429zi-make-freertos-builtin/mongoose_custom.h
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/mongoose_custom.h
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/mongoose_custom.h
diff --git a/examples/stm32/nucleo-f429zi-freertos/net.c b/examples/stm32/nucleo-f429zi-make-freertos-builtin/net.c
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/net.c
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/net.c
diff --git a/examples/stm32/nucleo-f429zi-freertos/net.h b/examples/stm32/nucleo-f429zi-make-freertos-builtin/net.h
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/net.h
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/net.h
diff --git a/examples/stm32/nucleo-f429zi-freertos/packed_fs.c b/examples/stm32/nucleo-f429zi-make-freertos-builtin/packed_fs.c
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/packed_fs.c
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/packed_fs.c
diff --git a/examples/stm32/nucleo-f429zi-freertos/syscalls.c b/examples/stm32/nucleo-f429zi-make-freertos-builtin/syscalls.c
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/syscalls.c
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/syscalls.c
diff --git a/examples/stm32/nucleo-f429zi-freertos/sysinit.c b/examples/stm32/nucleo-f429zi-make-freertos-builtin/sysinit.c
similarity index 100%
rename from examples/stm32/nucleo-f429zi-freertos/sysinit.c
rename to examples/stm32/nucleo-f429zi-make-freertos-builtin/sysinit.c
diff --git a/examples/stm32/nucleo-f746zg-freertos/README.md b/examples/stm32/nucleo-f746zg-freertos/README.md
deleted file mode 100644
index 8e56df616e..0000000000
--- a/examples/stm32/nucleo-f746zg-freertos/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# FreeRTOS Web device dashboard on NUCLEO-F746ZG
-
-See https://mongoose.ws/tutorials/stm32/nucleo-f746zg-freertos/
diff --git a/examples/stm32/nucleo-f746zg-make-baremetal-builtin/main.c b/examples/stm32/nucleo-f746zg-make-baremetal-builtin/main.c
index 1dc8a3afb4..3c50d24f42 100644
--- a/examples/stm32/nucleo-f746zg-make-baremetal-builtin/main.c
+++ b/examples/stm32/nucleo-f746zg-make-baremetal-builtin/main.c
@@ -33,7 +33,7 @@ static void timer_fn(void *arg) {
 }
 
 int main(void) {
-  gpio_output(LED);               // Setup green LED
+  gpio_output(LED);               // Setup blue LED
   uart_init(UART_DEBUG, 115200);  // Initialise debug printf
   ethernet_init();                // Initialise ethernet pins
   MG_INFO(("Starting, CPU freq %g MHz", (double) SystemCoreClock / 1000000));
diff --git a/examples/stm32/nucleo-f746zg-freertos/FreeRTOSConfig.h b/examples/stm32/nucleo-f746zg-make-freertos-builtin/FreeRTOSConfig.h
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/FreeRTOSConfig.h
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/FreeRTOSConfig.h
diff --git a/examples/stm32/nucleo-f746zg-freertos/Makefile b/examples/stm32/nucleo-f746zg-make-freertos-builtin/Makefile
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/Makefile
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/Makefile
diff --git a/examples/stm32/nucleo-f746zg-make-freertos-builtin/README.md b/examples/stm32/nucleo-f746zg-make-freertos-builtin/README.md
new file mode 100644
index 0000000000..a417378262
--- /dev/null
+++ b/examples/stm32/nucleo-f746zg-make-freertos-builtin/README.md
@@ -0,0 +1,3 @@
+# FreeRTOS Web device dashboard on NUCLEO-F746ZG
+
+See https://mongoose.ws/tutorials/stm32/all-make-freertos-builtin/
diff --git a/examples/stm32/nucleo-f746zg-freertos/hal.h b/examples/stm32/nucleo-f746zg-make-freertos-builtin/hal.h
similarity index 83%
rename from examples/stm32/nucleo-f746zg-freertos/hal.h
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/hal.h
index a29353d7d6..57605a0984 100644
--- a/examples/stm32/nucleo-f746zg-freertos/hal.h
+++ b/examples/stm32/nucleo-f746zg-make-freertos-builtin/hal.h
@@ -1,6 +1,7 @@
 // Copyright (c) 2022 Cesanta Software Limited
 // All rights reserved
 // https://www.st.com/resource/en/reference_manual/dm00124865-stm32f75xxx-and-stm32f74xxx-advanced-arm-based-32-bit-mcus-stmicroelectronics.pdf
+// https://www.st.com/resource/en/datasheet/stm32f746zg.pdf
 
 #pragma once
 
@@ -17,6 +18,12 @@
 #define PINNO(pin) (pin & 255)
 #define PINBANK(pin) (pin >> 8)
 
+#define LED1 PIN('B', 0)   // On-board LED pin (green)
+#define LED2 PIN('B', 7)   // On-board LED pin (blue)
+#define LED3 PIN('B', 14)  // On-board LED pin (red)
+
+#define LED LED2              // Use blue LED for blinking
+
 /* System clock
 5.3.3: APB1 clock <= 54MHz; APB2 clock <= 108MHz
 3.3.2, Table 5: configure flash latency (WS) in accordance to clock freq
@@ -90,7 +97,6 @@ static inline void irq_exti_attach(uint16_t pin) {
 #endif
 
 static inline void uart_init(USART_TypeDef *uart, unsigned long baud) {
-  // https://www.st.com/resource/en/datasheet/stm32f746zg.pdf
   uint8_t af = 7;           // Alternate function
   uint16_t rx = 0, tx = 0;  // pins
   uint32_t freq = 0;        // Bus frequency. UART1 is on APB2, rest on APB1
@@ -132,6 +138,22 @@ static inline uint32_t rng_read(void) {
   return RNG->DR;
 }
 
+static inline void ethernet_init(void) {
+  // Initialise Ethernet. Enable MAC GPIO pins, see
+  // https://www.farnell.com/datasheets/2014265.pdf section 6.10
+  uint16_t pins[] = {PIN('A', 1),  PIN('A', 2),  PIN('A', 7),
+                     PIN('B', 13), PIN('C', 1),  PIN('C', 4),
+                     PIN('C', 5),  PIN('G', 11), PIN('G', 13)};
+  for (size_t i = 0; i < sizeof(pins) / sizeof(pins[0]); i++) {
+    gpio_init(pins[i], GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_INSANE,
+              GPIO_PULL_NONE, 11);  // 11 is the Ethernet function
+  }
+  NVIC_EnableIRQ(ETH_IRQn);                // Setup Ethernet IRQ handler
+  SYSCFG->PMC |= SYSCFG_PMC_MII_RMII_SEL;  // Use RMII. Goes first!
+  RCC->AHB1ENR |=
+      RCC_AHB1ENR_ETHMACEN | RCC_AHB1ENR_ETHMACTXEN | RCC_AHB1ENR_ETHMACRXEN;
+}
+
 #define UUID ((uint8_t *) UID_BASE)  // Unique 96-bit chip ID. TRM 41.1
 
 // Helper macro for MAC generation
diff --git a/examples/stm32/nucleo-f746zg-freertos/link.ld b/examples/stm32/nucleo-f746zg-make-freertos-builtin/link.ld
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/link.ld
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/link.ld
diff --git a/examples/stm32/nucleo-f429zi-freertos/main.c b/examples/stm32/nucleo-f746zg-make-freertos-builtin/main.c
similarity index 70%
rename from examples/stm32/nucleo-f429zi-freertos/main.c
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/main.c
index 75117899f4..5167821bdc 100644
--- a/examples/stm32/nucleo-f429zi-freertos/main.c
+++ b/examples/stm32/nucleo-f746zg-make-freertos-builtin/main.c
@@ -1,15 +1,10 @@
-// Copyright (c) 2022 Cesanta Software Limited
+// Copyright (c) 2022-2023 Cesanta Software Limited
 // All rights reserved
 
 #include "hal.h"
 #include "mongoose.h"
 #include "net.h"
 
-#define LED1 PIN('B', 0)   // On-board LED pin (green)
-#define LED2 PIN('B', 7)   // On-board LED pin (blue)
-#define LED3 PIN('B', 14)  // On-board LED pin (red)
-
-#define LED LED2              // Use blue LED for blinking
 #define BLINK_PERIOD_MS 1000  // LED blinking period in millis
 
 void mg_random(void *buf, size_t len) {  // Use on-board RNG
@@ -27,22 +22,6 @@ static void timer_fn(void *arg) {
            ifp->ndrop, ifp->nerr));
 }
 
-static void ethernet_init(void) {
-  // Initialise Ethernet. Enable MAC GPIO pins, see
-  // https://www.farnell.com/datasheets/2014265.pdf section 6.10
-  uint16_t pins[] = {PIN('A', 1),  PIN('A', 2),  PIN('A', 7),
-                     PIN('B', 13), PIN('C', 1),  PIN('C', 4),
-                     PIN('C', 5),  PIN('G', 11), PIN('G', 13)};
-  for (size_t i = 0; i < sizeof(pins) / sizeof(pins[0]); i++) {
-    gpio_init(pins[i], GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_INSANE,
-              GPIO_PULL_NONE, 11);  // 11 is the Ethernet function
-  }
-  NVIC_EnableIRQ(ETH_IRQn);                // Setup Ethernet IRQ handler
-  SYSCFG->PMC |= SYSCFG_PMC_MII_RMII_SEL;  // Use RMII. Goes first!
-  RCC->AHB1ENR |=
-      RCC_AHB1ENR_ETHMACEN | RCC_AHB1ENR_ETHMACTXEN | RCC_AHB1ENR_ETHMACRXEN;
-}
-
 static void server(void *args) {
   struct mg_mgr mgr;        // Initialise Mongoose event manager
   mg_mgr_init(&mgr);        // and attach it to the interface
diff --git a/examples/stm32/nucleo-f746zg-freertos/mongoose.c b/examples/stm32/nucleo-f746zg-make-freertos-builtin/mongoose.c
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/mongoose.c
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/mongoose.c
diff --git a/examples/stm32/nucleo-f746zg-freertos/mongoose.h b/examples/stm32/nucleo-f746zg-make-freertos-builtin/mongoose.h
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/mongoose.h
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/mongoose.h
diff --git a/examples/stm32/nucleo-f746zg-freertos/mongoose_custom.h b/examples/stm32/nucleo-f746zg-make-freertos-builtin/mongoose_custom.h
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/mongoose_custom.h
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/mongoose_custom.h
diff --git a/examples/stm32/nucleo-f746zg-freertos/net.c b/examples/stm32/nucleo-f746zg-make-freertos-builtin/net.c
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/net.c
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/net.c
diff --git a/examples/stm32/nucleo-f746zg-freertos/net.h b/examples/stm32/nucleo-f746zg-make-freertos-builtin/net.h
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/net.h
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/net.h
diff --git a/examples/stm32/nucleo-f746zg-freertos/packed_fs.c b/examples/stm32/nucleo-f746zg-make-freertos-builtin/packed_fs.c
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/packed_fs.c
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/packed_fs.c
diff --git a/examples/stm32/nucleo-f746zg-freertos/syscalls.c b/examples/stm32/nucleo-f746zg-make-freertos-builtin/syscalls.c
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/syscalls.c
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/syscalls.c
diff --git a/examples/stm32/nucleo-f746zg-freertos/sysinit.c b/examples/stm32/nucleo-f746zg-make-freertos-builtin/sysinit.c
similarity index 100%
rename from examples/stm32/nucleo-f746zg-freertos/sysinit.c
rename to examples/stm32/nucleo-f746zg-make-freertos-builtin/sysinit.c