diff --git a/examples/ti/ek-tm4c1294xl-baremetal/Makefile b/examples/ti/ek-tm4c1294xl-baremetal/Makefile
index b9704c16..f68f8c5c 100644
--- a/examples/ti/ek-tm4c1294xl-baremetal/Makefile
+++ b/examples/ti/ek-tm4c1294xl-baremetal/Makefile
@@ -1,24 +1,50 @@
-TARGET  = firmware
-ROOT    ?= $(realpath $(CURDIR)/../../..)
-CFLAGS  ?=  -W -Wall -Wextra -Werror -Wundef -Wshadow -Wdouble-promotion \
-						-Wformat-truncation -fno-common -Wconversion \
-						-g3 -Os -ffunction-sections -fdata-sections -I. -I$(ROOT) \
-            -DMG_ARCH=MG_ARCH_NEWLIB -DMIP_DEBUG=1 -DMG_ENABLE_PACKED_FS=1 \
-						-DMG_ENABLE_CUSTOM_MILLIS=1 -DxMG_ENABLE_LINES=1 -DMG_ENABLE_TCPIP=1 -DMG_ENABLE_DRIVER_TM4C=1\
-						-mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16 $(EXTRA_CFLAGS)
-LDFLAGS ?= -Tlink.ld -nostartfiles -nostdlib --specs nano.specs -lc -lgcc -Wl,--gc-sections -Wl,-Map=$@.map
-SOURCES = boot.c main.c syscalls.c \
-          $(ROOT)/mongoose.c \
-          $(ROOT)/examples/device-dashboard/packed_fs.c \
-          $(ROOT)/examples/device-dashboard/net.c
+CFLAGS  = -W -Wall -Wextra -Werror -Wundef -Wshadow -Wdouble-promotion
+CFLAGS += -Wformat-truncation -fno-common -Wconversion -Wno-sign-conversion
+CFLAGS += -g3 -Os -ffunction-sections -fdata-sections
+CFLAGS += -I. -Icmsis_core/CMSIS/Core/Include -Icmsis_tm4c/Device/TI/TM4C/Include
+CFLAGS += -mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16
+LDFLAGS ?= -Tlink.ld -nostdlib -nostartfiles --specs nano.specs -lc -lgcc -Wl,--gc-sections -Wl,-Map=$@.map
 
-all build example: $(TARGET).bin
+SOURCES = main.c syscalls.c sysinit.c
+SOURCES += startup.c # startup file. Compiler-dependent!
 
-$(TARGET).bin: $(TARGET).elf
+# Mongoose-specific source code files and build options. See https://mongoose.ws/documentation/#build-options
+SOURCES += mongoose.c net.c packed_fs.c
+CFLAGS += -DMG_ENABLE_TCPIP=1 -DMG_ARCH=MG_ARCH_NEWLIB -DMG_ENABLE_CUSTOM_MILLIS=1
+CFLAGS += -DMG_ENABLE_DRIVER_TM4C=1 -DMG_ENABLE_PACKED_FS=1 $(CFLAGS_EXTRA)
+
+ifeq ($(OS),Windows_NT)
+  RM = cmd /C del /Q /F /S
+else
+  RM = rm -rf
+endif
+
+all build example: firmware.bin
+
+firmware.bin: firmware.elf
 	arm-none-eabi-objcopy -O binary $< $@
 
-$(TARGET).elf: $(SOURCES) mcu.h
+firmware.elf: cmsis_core cmsis_tm4c $(SOURCES) hal.h link.ld
 	arm-none-eabi-gcc $(SOURCES) $(CFLAGS) $(LDFLAGS) -o $@
 
+flash: firmware.bin
+	@echo "This requires Uniflash"
+
+cmsis_core:     # ARM CMSIS core headers
+	git clone --depth 1 -b 5.9.0 https://github.com/ARM-software/CMSIS_5 $@
+cmsis_tm4c:     # CMSIS headers for TM4C series
+	git clone --depth 1 --no-checkout https://github.com/speters/CMSIS $@ && cd $@ && git sparse-checkout set Device/TI/TM4C && git checkout
+
+# Automated remote test. Requires env variable VCON_API_KEY set. See https://vcon.io/automated-firmware-tests/
+DEVICE_URL ?= https://dash.vcon.io/api/v3/devices/1
+update: firmware.bin
+	curl --fail-with-body -su :$(VCON_API_KEY) $(DEVICE_URL)/ota --data-binary @$<
+
+test update: CFLAGS_EXTRA += -DUART_DEBUG=UART1
+test: update
+	curl --fail-with-body -su :$(VCON_API_KEY) $(DEVICE_URL)/tx?t=5 | tee /tmp/output.txt
+	grep 'READY, IP:' /tmp/output.txt       # Check for network init
+	grep 'MQTT connected' /tmp/output.txt   # Check for MQTT connection success
+
 clean:
-	@rm -rf $(TARGET).* *.su
+	$(RM) firmware.* *.su cmsis_core cmsis_tm4c
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/hal.h b/examples/ti/ek-tm4c1294xl-baremetal/hal.h
new file mode 100644
index 00000000..30628a7c
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-baremetal/hal.h
@@ -0,0 +1,175 @@
+// Copyright (c) 2022 Cesanta Software Limited
+// All rights reserved
+// https://www.ti.com/lit/pdf/spms433
+
+#pragma once
+
+#include "TM4C1294NCPDT.h"
+
+#include <stdbool.h>
+#include <stdint.h>
+#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 << 8) | (num))
+#define PINNO(pin) (pin & 255)
+#define PINBANK(pin) pinbank(pin >> 8)
+// This MCU doesn't have GPIOI nor GPIOO
+static inline unsigned int pinbank(unsigned int bank) {
+  bank = bank > 'O' ? bank - 2 : bank > 'I' ? bank - 1 : bank;
+  return bank - 'A';
+}
+
+// 5.5, Table 5-12: configure flash (and EEPROM) timing in accordance to clock
+// freq
+enum {
+  PLL_CLK = 25,
+  PLL_M = 96,
+  PLL_N = 5,
+  PLL_Q = 1,
+  PSYSDIV = 4
+};  // Run at 120 Mhz
+#define PLL_FREQ (PLL_CLK * PLL_M / PLL_N / PLL_Q / PSYSDIV)
+#define FLASH_CLKHIGH 6
+#define FLASH_WAITST 5
+#define SYS_FREQUENCY (PLL_FREQ * 1000000)
+
+static inline void spin(volatile uint32_t count) {
+  while (count--) (void) 0;
+}
+
+enum { GPIO_MODE_INPUT, GPIO_MODE_OUTPUT, GPIO_MODE_AF, GPIO_MODE_ANALOG };
+enum { GPIO_OTYPE_PUSH_PULL, GPIO_OTYPE_OPEN_DRAIN };
+enum { GPIO_SPEED_LOW, GPIO_SPEED_HIGH };
+enum { GPIO_PULL_NONE, GPIO_PULL_UP, GPIO_PULL_DOWN };
+#define GPIO(bank) ((GPIOA_AHB_Type *) (GPIOA_AHB_BASE + 0x1000U * (bank)))
+
+// CMSIS header forces 0xFF mask when writing to DATA (see 10.6 in datasheet)
+// and does not seem to support that feature for writing by defining RESERVED0
+// to read-only
+static inline void gpio_toggle(uint16_t pin) {
+  GPIOA_AHB_Type *gpio = GPIO(PINBANK(pin));
+  volatile uint32_t *GPIODATA = (volatile uint32_t *) gpio->RESERVED0;
+  uint8_t mask = BIT(PINNO(pin));
+  GPIODATA[mask] ^= mask;
+}
+static inline int gpio_read(uint16_t pin) {
+  GPIOA_AHB_Type *gpio = GPIO(PINBANK(pin));
+  volatile uint32_t *GPIODATA = (volatile uint32_t *) gpio->RESERVED0;
+  uint8_t mask = BIT(PINNO(pin));
+  return GPIODATA[mask] ? 1 : 0;
+}
+static inline void gpio_write(uint16_t pin, bool val) {
+  GPIOA_AHB_Type *gpio = GPIO(PINBANK(pin));
+  volatile uint32_t *GPIODATA = (volatile uint32_t *) gpio->RESERVED0;
+  uint8_t mask = BIT(PINNO(pin));
+  GPIODATA[mask] = val ? mask : 0;
+}
+static inline void gpio_init(uint16_t pin, uint8_t mode, uint8_t type,
+                             uint8_t speed, uint8_t pull, uint8_t af) {
+  GPIOA_AHB_Type *gpio = GPIO(PINBANK(pin));
+  uint8_t n = (uint8_t) (PINNO(pin));
+  SYSCTL->RCGCGPIO |= BIT(PINBANK(pin));  // Enable GPIO clock
+  if (mode == GPIO_MODE_ANALOG) {
+    gpio->AMSEL |= BIT(PINNO(pin));
+    return;
+  }
+  if (mode == GPIO_MODE_INPUT) {
+    gpio->DIR &= ~BIT(PINNO(pin));
+  } else if (mode == GPIO_MODE_OUTPUT) {
+    gpio->DIR |= BIT(PINNO(pin));
+  } else {  // GPIO_MODE_AF
+    SETBITS(gpio->PCTL, 15UL << ((n & 7) * 4),
+            ((uint32_t) af) << ((n & 7) * 4));
+    gpio->AFSEL |= BIT(PINNO(pin));
+  }
+  gpio->DEN |= BIT(PINNO(pin));  // Enable pin as digital function
+  if (type == GPIO_OTYPE_OPEN_DRAIN)
+    gpio->ODR |= BIT(PINNO(pin));
+  else  // GPIO_OTYPE_PUSH_PULL
+    gpio->ODR &= ~BIT(PINNO(pin));
+  if (speed == GPIO_SPEED_LOW)
+    gpio->SLR |= BIT(PINNO(pin));
+  else  // GPIO_SPEED_HIGH
+    gpio->SLR &= ~BIT(PINNO(pin));
+  if (pull == GPIO_PULL_UP) {
+    gpio->PUR |= BIT(PINNO(pin));  // setting one...
+  } else if (pull == GPIO_PULL_DOWN) {
+    gpio->PDR |= BIT(PINNO(pin));  // ...just clears the other
+  } else {
+    gpio->PUR &= ~BIT(PINNO(pin));
+    gpio->PDR &= ~BIT(PINNO(pin));
+  }
+}
+static inline void gpio_input(uint16_t pin) {
+  gpio_init(pin, GPIO_MODE_INPUT, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_HIGH,
+            GPIO_PULL_NONE, 0);
+}
+static inline void gpio_output(uint16_t pin) {
+  gpio_init(pin, GPIO_MODE_OUTPUT, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_HIGH,
+            GPIO_PULL_NONE, 0);
+}
+
+static inline void gpio_irq_attach(uint16_t pin) {
+  uint8_t irqvecs[] = {16, 17, 18, 19, 20, 30, 31, 32,
+                       51, 52, 53, 72, 73, 76, 84};
+  GPIOA_AHB_Type *gpio = GPIO(PINBANK(pin));
+  gpio->IS &= ~BIT(PINNO(pin));        // edge sensitive
+  gpio->IBE |= BIT(PINNO(pin));        // both edges
+  gpio->IM |= BIT(PINNO(pin));         // enable pin irq
+  int irqvec = irqvecs[PINBANK(pin)];  // IRQ vector index, 2.5.2
+  NVIC_SetPriority(irqvec, 3);
+  NVIC_EnableIRQ(irqvec);
+}
+
+#ifndef UART_DEBUG
+#define UART_DEBUG UART0
+#endif
+
+#define UART_OFFSET 0x1000
+#define UART(N) ((UART0_Type *) (UART0_BASE + UART_OFFSET * (N)))
+#define UARTNO(u) ((uint8_t) (((unsigned int) (u) -UART0_BASE) / UART_OFFSET))
+
+static inline void uart_init(UART0_Type *uart, unsigned long baud) {
+  struct uarthw {
+    uint16_t rx, tx;  // pins
+    uint8_t af;       // Alternate function
+  };
+  // rx, tx, af for UART0,1,2
+  struct uarthw uarthw[3] = {{PIN('A', 0), PIN('A', 1), 1},
+                             {PIN('B', 0), PIN('B', 1), 1},
+                             {PIN('A', 6), PIN('A', 7), 1}};  // or PD4, PD5...
+
+  uint8_t uartno = UARTNO(uart);
+  SYSCTL->RCGCUART |= BIT(uartno);  // Enable peripheral clock
+
+  gpio_init(uarthw[uartno].tx, GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL,
+            GPIO_SPEED_HIGH, 0, uarthw[uartno].af);
+  gpio_init(uarthw[uartno].rx, GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL,
+            GPIO_SPEED_HIGH, 0, uarthw[uartno].af);
+  // (16.3.2) ClkDiv = 16 (HSE=0)
+  // BRD = BRDI + BRDF = UARTSysClk / (ClkDiv * Baud Rate)
+  // UARTFBRD[DIVFRAC] = integer(BRDF * 64 + 0.5)
+  // must write in this order
+  uart->CTL = 0;                             // Disable this UART, clear HSE
+  uart->IBRD = SYS_FREQUENCY / (16 * baud);  // Baud rate, integer part
+  uart->FBRD = ((SYS_FREQUENCY % (16 * baud)) >> 26) &
+               0x3F;                      // Baud rate, fractional part
+  uart->LCRH = (3 << 5);                  // 8N1, no FIFOs;
+  uart->CTL |= BIT(0) | BIT(9) | BIT(8);  // Set UARTEN, RXE, TXE
+}
+static inline void uart_write_byte(UART0_Type *uart, uint8_t byte) {
+  uart->DR = byte;
+  while ((uart->FR & BIT(7)) == 0) spin(1);
+}
+static inline void uart_write_buf(UART0_Type *uart, char *buf, size_t len) {
+  while (len-- > 0) uart_write_byte(uart, *(uint8_t *) buf++);
+}
+static inline int uart_read_ready(UART0_Type *uart) {
+  return uart->FR & BIT(6);  // If RXFF bit is set, data is ready
+}
+static inline uint8_t uart_read_byte(UART0_Type *uart) {
+  return (uint8_t) (uart->DR & 0xFF);
+}
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/link.ld b/examples/ti/ek-tm4c1294xl-baremetal/link.ld
index 71d36747..4c59c42e 100644
--- a/examples/ti/ek-tm4c1294xl-baremetal/link.ld
+++ b/examples/ti/ek-tm4c1294xl-baremetal/link.ld
@@ -1,13 +1,13 @@
-ENTRY(_reset);
+ENTRY(Reset_Handler);
 MEMORY {
-  flash(rx)  : ORIGIN = 0x00000000, LENGTH = 1024k
+  flash(rx) : ORIGIN = 0x00000000, LENGTH = 1024k
   sram(rwx) : ORIGIN = 0x20000000, LENGTH = 256k
 }
 _estack     = ORIGIN(sram) + LENGTH(sram);    /* stack points to end of SRAM */
 
 SECTIONS {
   .vectors  : { KEEP(*(.vectors)) }   > flash
-  .text     : { *(.text*) }           > flash
+  .text     : { *(.text* .text.*) }   > flash
   .rodata   : { *(.rodata*) }         > flash
 
   .data : {
@@ -17,6 +17,7 @@ SECTIONS {
     _edata = .;  /* for init_ram() */
   } > sram AT > flash
   _sidata = LOADADDR(.data);
+  . = ALIGN (CONSTANT (COMMONPAGESIZE));
 
   .bss : {
     _sbss = .;              /* for init_ram() */
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/main.c b/examples/ti/ek-tm4c1294xl-baremetal/main.c
index c44fb02d..05dca4fe 100644
--- a/examples/ti/ek-tm4c1294xl-baremetal/main.c
+++ b/examples/ti/ek-tm4c1294xl-baremetal/main.c
@@ -1,75 +1,51 @@
-// Copyright (c) 2022 Cesanta Software Limited
+// Copyright (c) 2022-2023 Cesanta Software Limited
 // All rights reserved
 
-#include "mcu.h"
+#include "hal.h"
 #include "mongoose.h"
 
 #define LED1 PIN('N', 1)  // On-board LED pin
 #define LED2 PIN('N', 0)  // On-board LED pin
 #define LED3 PIN('F', 4)  // On-board LED pin
 #define LED4 PIN('F', 0)  // On-board LED pin
-#define BTN1 PIN('J', 0)  // On-board user button
-#define BTN2 PIN('J', 1)  // On-board user button
 
-static uint64_t s_ticks, s_exti;  // Counters, increased by IRQ handlers
+#define LED LED1              // Use this LED for blinking
+#define BLINK_PERIOD_MS 1000  // LED blinking period in millis
 
-static void blink_cb(void *arg) {  // Blink periodically
-  struct mg_tcpip_if *ifp = arg;
-  gpio_toggle(LED1);
-  MG_INFO(("Ethernet: %s", ifp->driver->up(ifp) ? "up": "down"));
-}
-
-uint64_t mg_millis(void) {  // Declare our own uptime function
-  return s_ticks;           // Return number of milliseconds since boot
-}
-
-void HardFault_Handler(void) {  // Escalated fault handler
-  gpio_write(LED1, 1);
-  gpio_write(LED2, 0);
-  for (;;)
-    spin(2999999), gpio_toggle(LED1),
-        gpio_toggle(LED2);  // Alternate LEDs forever
-}
-
-void SysTick_Handler(void) {  // SyStick IRQ handler, triggered every 1ms
+static volatile uint64_t s_ticks;  // Milliseconds since boot
+void SysTick_Handler(void) {       // SyStick IRQ handler, triggered every 1ms
   s_ticks++;
 }
 
-void GPIOJ_Handler(void) {  // External interrupt handler
-  s_exti++;
-  struct gpio *gpio = gpio_bank(BTN1);
-  if (gpio->GPIOMIS & BIT(PINNO(BTN1))) gpio->GPIOICR = BIT(PINNO(BTN1));
-  gpio_write(LED2,
-             !gpio_read(BTN1));  // No debounce. Turn LED if button is pressed
+uint64_t mg_millis(void) {  // Let Mongoose use our uptime function
+  return s_ticks;           // Return number of milliseconds since boot
 }
 
-int main(void) {
-  static struct uart *uart = UART0;  // Use UART0 (attached to ICDI)
-  clock_init();                      // Set clock to 120MHz
-  systick_init(FREQ / 1000);         // Increment s_ticks every ms
-  gpio_output(LED1);                 // Setup user LEDs
-  gpio_output(LED2);
-  gpio_input(BTN1);       // Set button to input
-  gpio_irq_attach(BTN1);  // generate interrupts
-  uart_init(uart, 115200);
+static void timer_fn(void *arg) {
+  gpio_toggle(LED);                               // Blink LED
+  struct mg_tcpip_if *ifp = arg;                  // And show
+  const char *names[] = {"down", "up", "ready"};  // network stats
+  MG_INFO(("Ethernet: %s, IP: %M, rx:%u, tx:%u, dr:%u, er:%u",
+           names[ifp->state], mg_print_ip4, &ifp->ip, ifp->nrecv, ifp->nsent,
+           ifp->ndrop, ifp->nerr));
+}
 
-  nvic_enable_irq(40);  // Setup Ethernet IRQ handler
-
-  MG_INFO(("Init hw"));
-  // See datasheet: https://www.ti.com/lit/pdf/spms433
+static void ethernet_init(void) {
+  // Initialise Ethernet. Enable MAC GPIO pins, see
+  // https://www.ti.com/lit/pdf/spms433
   // Assign LED3 and LED4 to the EPHY, "activity" and "link", respectively.
   // (20.4.2.4)
   gpio_init(LED3, GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_HIGH,
             GPIO_PULL_NONE, 5);  // EN0LED1
   gpio_init(LED4, GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_HIGH,
             GPIO_PULL_NONE, 5);  // EN0LED0
+  NVIC_EnableIRQ(EMAC0_IRQn);    // Setup Ethernet IRQ handler
   // Initialize Ethernet clocks, see datasheet section 5
   // Turn Flash Prefetch off (silicon errata ETH#02)
-  volatile uint32_t *IMC = (uint32_t *) 0x400FD000;
-  uint32_t val = IMC[0xFC8 / sizeof(*IMC)];
+  uint32_t val = FLASH_CTRL->CONF;
   val &= ~BIT(17);
   val |= BIT(16);
-  IMC[0xFC8 / sizeof(*IMC)] = val;
+  FLASH_CTRL->CONF = val;
   SYSCTL->RCGCEMAC |= BIT(0);  // Enable EMAC clock
   SYSCTL->SREMAC |= BIT(0);    // Reset EMAC
   SYSCTL->SREMAC &= ~BIT(0);
@@ -78,31 +54,48 @@ int main(void) {
   SYSCTL->SREPHY &= ~BIT(0);
   while (!(SYSCTL->PREMAC & BIT(0)) || !(SYSCTL->PREPHY & BIT(0)))
     spin(1);  // Wait for reset to complete
+}
 
-  struct mg_mgr mgr;        // Initialize Mongoose event manager
-  mg_mgr_init(&mgr);        // and attach it to the MIP interface
+int main(void) {
+  gpio_output(LED);               // Setup leftmost LED
+  uart_init(UART_DEBUG, 115200);  // Initialise debug printf
+  ethernet_init();                // Initialise ethernet pins
+  MG_INFO(("Starting, CPU freq %g MHz", (double) SystemCoreClock / 1000000));
+
+  struct mg_mgr mgr;        // Initialise
+  mg_mgr_init(&mgr);        // Mongoose event manager
   mg_log_set(MG_LL_DEBUG);  // Set log level
 
-  // Initialize Mongoose network stack
+  // Initialise Mongoose network stack
   // Specify MAC address, and IP/mask/GW in network byte order for static
   // IP configuration. If IP/mask/GW are unset, DHCP is going to be used
-  struct mg_tcpip_driver_tm4c_data driver_data = {.mdc_cr = 1};  // See driver_tm4c.h
+  struct mg_tcpip_driver_tm4c_data driver_data = {.mdc_cr =
+                                                      1};  // See driver_tm4c.h
   struct mg_tcpip_if mif = {
       .mac = {2, 0, 1, 2, 3, 5},
       .driver = &mg_tcpip_driver_tm4c,
       .driver_data = &driver_data,
   };
   mg_tcpip_init(&mgr, &mif);
-  val = IMC[0xFC8 / sizeof(*IMC)];  // Turn Flash Prefetch on again
+  uint32_t val = FLASH_CTRL->CONF;  // Turn Flash Prefetch on again
   val &= ~BIT(16);
   val |= BIT(17);
-  IMC[0xFC8 / sizeof(*IMC)] = val;
-  MG_INFO(("Init done, starting main loop"));
-  mg_timer_add(&mgr, 1000, MG_TIMER_REPEAT, blink_cb, &mif);
+  FLASH_CTRL->CONF = val;
+  mg_timer_add(&mgr, BLINK_PERIOD_MS, MG_TIMER_REPEAT, timer_fn, &mif);
 
+  MG_INFO(("MAC: %M. Waiting for IP...", mg_print_mac, mif.mac));
+  while (mif.state != MIP_STATE_READY) {
+    mg_mgr_poll(&mgr, 0);
+  }
+
+  MG_INFO(("Initialising application..."));
   extern void device_dashboard_fn(struct mg_connection *, int, void *, void *);
   mg_http_listen(&mgr, "http://0.0.0.0", device_dashboard_fn, NULL);
-  for (;;) mg_mgr_poll(&mgr, 0);  // Infinite event loop
+
+  MG_INFO(("Starting event loop"));
+  for (;;) {
+    mg_mgr_poll(&mgr, 0);
+  }
 
   return 0;
 }
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/mcu.h b/examples/ti/ek-tm4c1294xl-baremetal/mcu.h
deleted file mode 100644
index 11dbd2c8..00000000
--- a/examples/ti/ek-tm4c1294xl-baremetal/mcu.h
+++ /dev/null
@@ -1,257 +0,0 @@
-// Copyright (c) 2022 Cesanta Software Limited
-// All rights reserved
-// https://www.ti.com/lit/pdf/spms433
-
-#pragma once
-
-#include <stdbool.h>
-#include <stdint.h>
-#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 << 8) | (num))
-#define PINNO(pin) (pin & 255)
-#define PINBANK(pin) pinbank(pin >> 8)
-// This MCU doesn't have GPIOI nor GPIOO
-static inline unsigned int pinbank(unsigned int bank) {
-  bank = bank > 'O' ? bank - 2 : bank > 'I' ? bank - 1 : bank;
-  return bank - 'A';
-}
-
-// 5.5, Table 5-12: configure flash (and EEPROM) timing in accordance to clock
-// freq
-enum {
-  PLL_CLK = 25,
-  PLL_M = 96,
-  PLL_N = 5,
-  PLL_Q = 1,
-  PSYSDIV = 4
-};  // Run at 120 Mhz
-#define PLL_FREQ (PLL_CLK * PLL_M / PLL_N / PLL_Q / PSYSDIV)
-#define FLASH_CLKHIGH 6
-#define FLASH_WAITST 5
-#define FREQ (PLL_FREQ * 1000000)
-
-static inline void spin(volatile uint32_t count) {
-  while (count--) asm("nop");
-}
-
-struct systick {
-  volatile uint32_t CTRL, LOAD, VAL, CALIB;
-};
-#define SYSTICK ((struct systick *) 0xe000e010)
-static inline void systick_init(uint32_t ticks) {
-  if ((ticks - 1) > 0xffffff) return;  // Systick timer is 24 bit
-  SYSTICK->LOAD = ticks - 1;
-  SYSTICK->VAL = 0;
-  SYSTICK->CTRL = BIT(0) | BIT(1) | BIT(2);  // Enable systick
-}
-
-struct nvic {
-  volatile uint32_t ISER[8], RESERVED0[24], ICER[8], RSERVED1[24], ISPR[8],
-      RESERVED2[24], ICPR[8], RESERVED3[24], IABR[8], RESERVED4[56], IP[240],
-      RESERVED5[644], STIR;
-};
-#define NVIC ((struct nvic *) 0xe000e100)
-static inline void nvic_set_prio(int irq, uint32_t prio) {
-  NVIC->IP[irq] = prio << 4;
-}
-static inline void nvic_enable_irq(int irq) {
-  NVIC->ISER[irq >> 5] = (uint32_t) (1 << (irq & 31));
-}
-
-struct scb {
-  volatile uint32_t CPUID, ICSR, VTOR, AIRCR, SCR, CCR, SHPR[3], SHCSR, CFSR,
-      HFSR, DFSR, MMFAR, BFAR, AFSR, ID_PFR[2], ID_DFR, ID_AFR, ID_MFR[4],
-      ID_ISAR[5], RESERVED0[1], CLIDR, CTR, CCSIDR, CSSELR, CPACR,
-      RESERVED3[93], STIR, RESERVED4[15], MVFR0, MVFR1, MVFR2, RESERVED5[1],
-      ICIALLU, RESERVED6[1], ICIMVAU, DCIMVAC, DCISW, DCCMVAU, DCCMVAC, DCCSW,
-      DCCIMVAC, DCCISW, RESERVED7[6], ITCMCR, DTCMCR, AHBPCR, CACR, AHBSCR,
-      RESERVED8[1], ABFSR;
-};
-#define SCB ((struct scb *) 0xe000ed00)
-
-struct sysctl {
-  volatile uint32_t DONTCARE0[31], MOSCCTL, RESERVED0[12], RSCLKCFG,
-      RESERVED1[3], MEMTIM0, DONTCARE1[39], PLLFREQ0, PLLFREQ1, PLLSTAT,
-      DONTCARE2[241], SREPHY, DONTCARE3[26], SREMAC, DONTCARE4[26], RCGCGPIO,
-      DONTCARE5[3], RCGCUART, DONTCARE6[5], RCGCEPHY, DONTCARE7[26], RCGCEMAC,
-      DONTCARE8[228], PREPHY, DONTCARE9[26], PREMAC;
-};
-#define SYSCTL ((struct sysctl *) 0x400FE000)
-
-enum { GPIO_MODE_INPUT, GPIO_MODE_OUTPUT, GPIO_MODE_AF, GPIO_MODE_ANALOG };
-enum { GPIO_OTYPE_PUSH_PULL, GPIO_OTYPE_OPEN_DRAIN };
-enum { GPIO_SPEED_LOW, GPIO_SPEED_HIGH };
-enum { GPIO_PULL_NONE, GPIO_PULL_UP, GPIO_PULL_DOWN };
-
-// 10.3, 10.6
-struct gpio {
-  volatile uint32_t GPIODATA[256], GPIODIR, GPIOIS, GPIOIBE, GPIOIEV, GPIOIM,
-      GPIORIS, GPIOMIS, GPIOICR, GPIOAFSEL, RESERVED1[55], GPIODR2R, GPIODR4R,
-      GPIODR8R, GPIOODR, GPIOPUR, GPIOPDR, GPIOSLR, GPIODEN, GPIOLOCK, GPIOCR,
-      GPIOAMSEL, GPIOPCTL, GPIOADCCTL, GPIODMACTL, GPIOSI, GPIODR12R,
-      GPIOWAKEPEN, GPIOWAKELVL, GPIOWAKESTAT, RESERVED2[669], GPIOPP, GPIOPC,
-      RESERVED3[2], GPIOPeriphID4, GPIOPeriphID5, GPIOPeriphID6, GPIOPeriphID7,
-      GPIOPeriphID0, GPIOPeriphID1, GPIOPeriphID2, GPIOPeriphID3, GPIOPCellID0,
-      GPIOPCellID1, GPIOPCellID2, GPIOPCellID3;
-};
-#define GPIO(N) ((struct gpio *) (0x40058000 + 0x1000 * (N)))
-
-static struct gpio *gpio_bank(uint16_t pin) {
-  return GPIO(PINBANK(pin));
-}
-static inline void gpio_toggle(uint16_t pin) {
-  struct gpio *gpio = gpio_bank(pin);
-  uint8_t mask = BIT(PINNO(pin));
-  gpio->GPIODATA[mask] ^= mask;
-}
-static inline int gpio_read(uint16_t pin) {
-  return gpio_bank(pin)->GPIODATA[BIT(PINNO(pin))] ? 1 : 0;
-}
-static inline void gpio_write(uint16_t pin, bool val) {
-  struct gpio *gpio = gpio_bank(pin);
-  uint8_t mask = BIT(PINNO(pin));
-  gpio->GPIODATA[mask] = val ? mask : 0;
-}
-static inline void gpio_init(uint16_t pin, uint8_t mode, uint8_t type,
-                             uint8_t speed, uint8_t pull, uint8_t af) {
-  struct gpio *gpio = gpio_bank(pin);
-  uint8_t n = (uint8_t) (PINNO(pin));
-  SYSCTL->RCGCGPIO |= BIT(PINBANK(pin));  // Enable GPIO clock
-  if (mode == GPIO_MODE_ANALOG) {
-    gpio->GPIOAMSEL |= BIT(PINNO(pin));
-    return;
-  }
-  if (mode == GPIO_MODE_INPUT) {
-    gpio->GPIODIR &= ~BIT(PINNO(pin));
-  } else if (mode == GPIO_MODE_OUTPUT) {
-    gpio->GPIODIR |= BIT(PINNO(pin));
-  } else {  // GPIO_MODE_AF
-    SETBITS(gpio->GPIOPCTL, 15UL << ((n & 7) * 4),
-            ((uint32_t) af) << ((n & 7) * 4));
-    gpio->GPIOAFSEL |= BIT(PINNO(pin));
-  }
-  gpio->GPIODEN |= BIT(PINNO(pin));  // Enable pin as digital function
-  if (type == GPIO_OTYPE_OPEN_DRAIN)
-    gpio->GPIOODR |= BIT(PINNO(pin));
-  else  // GPIO_OTYPE_PUSH_PULL
-    gpio->GPIOODR &= ~BIT(PINNO(pin));
-  if (speed == GPIO_SPEED_LOW)
-    gpio->GPIOSLR |= BIT(PINNO(pin));
-  else  // GPIO_SPEED_HIGH
-    gpio->GPIOSLR &= ~BIT(PINNO(pin));
-  if (pull == GPIO_PULL_UP) {
-    gpio->GPIOPUR |= BIT(PINNO(pin));  // setting one...
-  } else if (pull == GPIO_PULL_DOWN) {
-    gpio->GPIOPDR |= BIT(PINNO(pin));  // ...just clears the other
-  } else {
-    gpio->GPIOPUR &= ~BIT(PINNO(pin));
-    gpio->GPIOPDR &= ~BIT(PINNO(pin));
-  }
-}
-static inline void gpio_input(uint16_t pin) {
-  gpio_init(pin, GPIO_MODE_INPUT, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_HIGH,
-            GPIO_PULL_UP, 0);  // EK does not have pull-up resistors
-}
-static inline void gpio_output(uint16_t pin) {
-  gpio_init(pin, GPIO_MODE_OUTPUT, GPIO_OTYPE_PUSH_PULL, GPIO_SPEED_HIGH,
-            GPIO_PULL_NONE, 0);
-}
-
-static inline void gpio_irq_attach(uint16_t pin) {
-  uint8_t irqvecs[] = {16, 17, 18, 19, 20, 30, 31, 32,
-                       51, 52, 53, 72, 73, 76, 84};
-  struct gpio *gpio = gpio_bank(pin);
-  gpio->GPIOIS &= ~BIT(PINNO(pin));    // edge sensitive
-  gpio->GPIOIBE |= BIT(PINNO(pin));    // both edges
-  gpio->GPIOIM |= BIT(PINNO(pin));     // enable pin irq
-  int irqvec = irqvecs[PINBANK(pin)];  // IRQ vector index, 2.5.2
-  nvic_set_prio(irqvec, 3);
-  nvic_enable_irq(irqvec);
-}
-
-struct uart {
-  volatile uint32_t UARTDR, UARTRSR, RESERVED0[4], UARTFR, RESERVED1, UARTILPR,
-      UARTIBRD, UARTFBRD, UARTLCRH, UARTCTL, UARTIFLS, UARTIM, UARTRIS, UARTMIS,
-      UARTICR, UARTDMACTL, RESERVED2[22], UART9BITADDR, UART9BITAMASK,
-      RESERVED3[965], UARTPP, RESERVED4, UARTCC, RESERVED5, UARTPeriphID4,
-      UARTPeriphID5, UARTPeriphID6, UARTPeriphID7, UARTPeriphID0, UARTPeriphID1,
-      UARTPeriphID2, UARTPeriphID3, UARTPCellID0, UARTPCellID1, UARTPCellID2,
-      UARTPCellID3;
-};
-#define UARTECR UARTRSR
-#define USART_BASE 0x4000C000
-#define USART_OFFSET 0x1000
-#define USART(N) ((struct uart *) (USART_BASE + USART_OFFSET * (N)))
-#define UARTNO(u) ((uint8_t)(((unsigned int) (u) - USART_BASE) / USART_OFFSET))
-
-#define UART0 USART(0)
-
-static inline void uart_init(struct uart *uart, unsigned long baud) {
-  struct uarthw {
-    uint16_t rx, tx;  // pins
-    uint8_t af;       // Alternate function
-  };
-  // af, rx, tx for UART0
-  struct uarthw uarthw[1] = {{PIN('A', 0), PIN('A', 1), 1}};
-
-  if (uart != UART0) return;  // uarthw is not populated for other UARTs
-
-  uint8_t uartno = UARTNO(uart);
-  SYSCTL->RCGCUART |= BIT(uartno);  // Enable peripheral clock
-
-  gpio_init(uarthw[uartno].tx, GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL,
-            GPIO_SPEED_HIGH, 0, uarthw[uartno].af);
-  gpio_init(uarthw[uartno].rx, GPIO_MODE_AF, GPIO_OTYPE_PUSH_PULL,
-            GPIO_SPEED_HIGH, 0, uarthw[uartno].af);
-  // (16.3.2) ClkDiv = 16 (HSE=0)
-  // BRD = BRDI + BRDF = UARTSysClk / (ClkDiv * Baud Rate)
-  // UARTFBRD[DIVFRAC] = integer(BRDF * 64 + 0.5)
-  // must write in this order
-  uart->UARTCTL = 0;                    // Disable this UART, clear HSE
-  uart->UARTIBRD = FREQ / (16 * baud);  // Baud rate, integer part
-  uart->UARTFBRD =
-      ((FREQ % (16 * baud)) >> 26) & 0x3F;    // Baud rate, fractional part
-  uart->UARTLCRH = (3 << 5);                  // 8N1, no FIFOs;
-  uart->UARTCTL |= BIT(0) | BIT(9) | BIT(8);  // Set UARTEN, RXE, TXE
-}
-static inline void uart_write_byte(struct uart *uart, uint8_t byte) {
-  uart->UARTDR = byte;
-  while ((uart->UARTFR & BIT(7)) == 0) spin(1);
-}
-static inline void uart_write_buf(struct uart *uart, char *buf, size_t len) {
-  while (len-- > 0) uart_write_byte(uart, *(uint8_t *) buf++);
-}
-static inline int uart_read_ready(struct uart *uart) {
-  return uart->UARTFR & BIT(6);  // If RXFF bit is set, data is ready
-}
-static inline uint8_t uart_read_byte(struct uart *uart) {
-  return (uint8_t) (uart->UARTDR & 0xFF);
-}
-
-static inline void clock_init(void) {                 // Set clock frequency
-  SCB->CPACR |= ((3UL << 10 * 2) | (3UL << 11 * 2));  // Enable FPU
-  asm("DSB");
-  asm("ISB");
-  SETBITS(SYSCTL->MOSCCTL, BIT(3) | BIT(2),
-          BIT(4));  // Enable MOSC circuit (clear NOXTAL and PWRDN, set >10MHz
-                    // range)
-  SETBITS(SYSCTL->MEMTIM0,
-          BIT(21) | BIT(5) | 0x1F << 21 | 0xF << 16 | 0x1F << 5 | 0xF << 0,
-          FLASH_CLKHIGH << 22 | FLASH_WAITST << 16 | FLASH_CLKHIGH << 5 |
-              FLASH_WAITST << 0);  // Configure flash timing (not yet applied)
-  SETBITS(SYSCTL->RSCLKCFG, 0xF << 24 | (BIT(9) - 1),
-          3 << 24);  // Clear PLL divider, set MOSC as PLL source
-  SYSCTL->PLLFREQ1 = (PLL_Q - 1) << 8 | (PLL_N - 1)
-                                            << 0;  // Set PLL_Q and PLL_N
-  SYSCTL->PLLFREQ0 =
-      BIT(23) | PLL_M << 0;  // Set PLL_Q, power up PLL (if it were on, we'd
-                             // need to set NEWFREQ in RSCLKCFG instead)
-  while ((SYSCTL->PLLSTAT & BIT(0)) == 0) spin(1);  // Wait for lock
-  SYSCTL->RSCLKCFG |=
-      BIT(31) | BIT(28) |
-      (PSYSDIV - 1) << 0;  // Update memory timing, use PLL, set clock divisor
-}
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/mongoose.c b/examples/ti/ek-tm4c1294xl-baremetal/mongoose.c
new file mode 120000
index 00000000..5e522bbc
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-baremetal/mongoose.c
@@ -0,0 +1 @@
+../../../mongoose.c
\ No newline at end of file
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/mongoose.h b/examples/ti/ek-tm4c1294xl-baremetal/mongoose.h
new file mode 120000
index 00000000..ee4ac823
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-baremetal/mongoose.h
@@ -0,0 +1 @@
+../../../mongoose.h
\ No newline at end of file
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/net.c b/examples/ti/ek-tm4c1294xl-baremetal/net.c
new file mode 120000
index 00000000..fe0e6f06
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-baremetal/net.c
@@ -0,0 +1 @@
+../../device-dashboard/net.c
\ No newline at end of file
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/packed_fs.c b/examples/ti/ek-tm4c1294xl-baremetal/packed_fs.c
new file mode 120000
index 00000000..e06bf092
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-baremetal/packed_fs.c
@@ -0,0 +1 @@
+../../device-dashboard/packed_fs.c
\ No newline at end of file
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/boot.c b/examples/ti/ek-tm4c1294xl-baremetal/startup.c
similarity index 93%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/boot.c
rename to examples/ti/ek-tm4c1294xl-baremetal/startup.c
index 997507bc..c91f7298 100644
--- a/examples/ti/ek-tm4c1294xl-freertos-mip/boot.c
+++ b/examples/ti/ek-tm4c1294xl-baremetal/startup.c
@@ -2,22 +2,27 @@
 // All rights reserved
 
 // Startup code
-__attribute__((naked, noreturn)) void _reset(void) {
+__attribute__((naked, noreturn)) void Reset_Handler(void) {
   // Initialise memory
   extern long _sbss, _ebss, _sdata, _edata, _sidata;
   for (long *src = &_sbss; src < &_ebss; src++) *src = 0;
   for (long *src = &_sdata, *dst = &_sidata; src < &_edata;) *src++ = *dst++;
 
-  // Call main()
+  // Call the clock system initialization function
+  extern void SystemInit(void);
+  SystemInit();
+  // Call static constructors
+  extern void __libc_init_array(void);
+  __libc_init_array();
+  // Call the application entry point
   extern void main(void);
   main();
-  for (;;) (void) 0;
+  for (;;) (void) 0;  // Infinite loop
 }
 
 void __attribute__((weak)) DefaultIRQHandler(void) {
   for (;;) (void) 0;
 }
-
 #define WEAK_ALIAS __attribute__((weak, alias("DefaultIRQHandler")))
 
 WEAK_ALIAS void NMI_Handler(void);
@@ -128,11 +133,12 @@ WEAK_ALIAS void I2C7_Handler(void);
 WEAK_ALIAS void I2C8_Handler(void);
 WEAK_ALIAS void I2C9_Handler(void);
 
-// IRQ table, 2.5.1 Table 2-9
 extern void _estack();
+
+// IRQ table
 __attribute__((section(".vectors"))) void (*tab[16 + 114])(void) = {
     // Cortex interrupts
-    _estack, _reset, NMI_Handler, HardFault_Handler, MemManage_Handler,
+    _estack, Reset_Handler, NMI_Handler, HardFault_Handler, MemManage_Handler,
     BusFault_Handler, UsageFault_Handler, 0, 0, 0, 0, SVC_Handler,
     DebugMon_Handler, 0, PendSV_Handler, SysTick_Handler,
 
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/syscalls.c b/examples/ti/ek-tm4c1294xl-baremetal/syscalls.c
index ff2a9a2e..ac27f093 100644
--- a/examples/ti/ek-tm4c1294xl-baremetal/syscalls.c
+++ b/examples/ti/ek-tm4c1294xl-baremetal/syscalls.c
@@ -1,6 +1,6 @@
 #include <sys/stat.h>
 
-#include "mcu.h"
+#include "hal.h"
 
 int _fstat(int fd, struct stat *st) {
   if (fd < 0) return -1;
@@ -56,7 +56,7 @@ int _getpid(void) {
 
 int _write(int fd, char *ptr, int len) {
   (void) fd, (void) ptr, (void) len;
-  if (fd == 1) uart_write_buf(UART0, ptr, (size_t) len);
+  if (fd == 1) uart_write_buf(UART_DEBUG, ptr, (size_t) len);
   return -1;
 }
 
@@ -84,3 +84,5 @@ int mkdir(const char *path, mode_t mode) {
   (void) path, (void) mode;
   return -1;
 }
+
+void _init(void) {}
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/sysinit.c b/examples/ti/ek-tm4c1294xl-baremetal/sysinit.c
new file mode 100644
index 00000000..39b03d54
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-baremetal/sysinit.c
@@ -0,0 +1,36 @@
+// Copyright (c) 2023 Cesanta Software Limited
+// All rights reserved
+//
+// This file contains essentials required by the CMSIS:
+// uint32_t SystemCoreClock - holds the system core clock value
+// SystemInit() - initialises the system, e.g. sets up clocks
+
+#include "hal.h"
+
+uint32_t SystemCoreClock = SYS_FREQUENCY;
+
+void SystemInit(void) {  // Called automatically by startup code
+  SCB->CPACR |= ((3UL << 10 * 2) | (3UL << 11 * 2));  // Enable FPU
+  asm("DSB");
+  asm("ISB");
+  SETBITS(SYSCTL->MOSCCTL, BIT(3) | BIT(2),
+          BIT(4));  // Enable MOSC circuit (clear NOXTAL and PWRDN, set >10MHz
+                    // range)
+  SETBITS(SYSCTL->MEMTIM0,
+          BIT(21) | BIT(5) | 0x1F << 21 | 0xF << 16 | 0x1F << 5 | 0xF << 0,
+          FLASH_CLKHIGH << 22 | FLASH_WAITST << 16 | FLASH_CLKHIGH << 5 |
+              FLASH_WAITST << 0);  // Configure flash timing (not yet applied)
+  SETBITS(SYSCTL->RSCLKCFG, 0xF << 24 | (BIT(9) - 1),
+          3 << 24);  // Clear PLL divider, set MOSC as PLL source
+  SYSCTL->PLLFREQ1 = (PLL_Q - 1) << 8 | (PLL_N - 1)
+                                            << 0;  // Set PLL_Q and PLL_N
+  SYSCTL->PLLFREQ0 =
+      BIT(23) | PLL_M << 0;  // Set PLL_Q, power up PLL (if it were on, we'd
+                             // need to set NEWFREQ in RSCLKCFG instead)
+  while ((SYSCTL->PLLSTAT & BIT(0)) == 0) spin(1);  // Wait for lock
+  SYSCTL->RSCLKCFG |=
+      BIT(31) | BIT(28) |
+      (PSYSDIV - 1) << 0;  // Update memory timing, use PLL, set clock divisor
+
+  SysTick_Config(SystemCoreClock / 1000);  // Sys tick every 1ms
+}
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/README.md b/examples/ti/ek-tm4c1294xl-freertos-mip/README.md
deleted file mode 100644
index 61215384..00000000
--- a/examples/ti/ek-tm4c1294xl-freertos-mip/README.md
+++ /dev/null
@@ -1,40 +0,0 @@
-# MIP webserver over FreeRTOS on EK-TM4C1294XL
-
-This firmware uses MIP, an experimental TCP/IP stack of the Mongoose Network Library, running as a FreeRTOS task.
-It implements the following:
-
-- Minimal elementary web server, as simple as possible
-- No dependencies: no HAL, no CMSIS
-- Hand-written [mcu.h](mcu.h) header based on the [datasheet](https://www.ti.com/lit/pdf/spms433)
-- Interrupt-driven Ethernet driver
-- LED blinky, based on another FreeRTOS task
-- Debug log on UART0 (ICDI)
-
-## Requirements
-
-- [GNU make](http://mongoose.ws/tutorials/tools/#gnu-make)
-- [ARM GCC](http://mongoose.ws/tutorials/tools/#arm-gcc)
-- [Uniflash](https://mongoose.ws/tutorials/ti/ek-tm4c1294xl-baremetal/#build-and-run) for flashing
-
-The links above will send you to tutorials on how to install each of those tools in your workstation for Linux, Mac, and Windows.
-
-You'll also need _git_ so the Makefile can clone the FreeRTOS-Kernel repository. We assume you have it since you got to get this repository somehow. If you don't, and don't want to install it, just get the proper [FreeRTOS-Kernel](https://github.com/FreeRTOS/FreeRTOS-Kernel) version (see the Makefile) from its repository, as you did with the Mongoose repository.
-
-## Usage
-
-Plugin your board into USB, and attach an Ethernet cable.
-To build and flash:
-
-```sh
-$ make clean flash
-```
-
-To see debug log, use any serial monitor program like `picocom` at 115200 bps and configure it to insert carriage returns after line feeds:
-
-```sh
-$ picocom /dev/ttyACM0 -i -b 115200 --imap=lfcrlf
-```
-
-There is also a [detailed tutorial on this example](https://mongoose.ws/tutorials/ti/ek-tm4c1294xl-freertos-mip/)
-
-For more details and benchmark data on MIP, check the [F746ZG baremetal example](../../stm32/nucleo-f746zg-baremetal/)
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/FreeRTOSConfig.h b/examples/ti/ek-tm4c1294xl-freertos/FreeRTOSConfig.h
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/FreeRTOSConfig.h
rename to examples/ti/ek-tm4c1294xl-freertos/FreeRTOSConfig.h
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/Makefile b/examples/ti/ek-tm4c1294xl-freertos/Makefile
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/Makefile
rename to examples/ti/ek-tm4c1294xl-freertos/Makefile
diff --git a/examples/ti/ek-tm4c1294xl-freertos/README.md b/examples/ti/ek-tm4c1294xl-freertos/README.md
new file mode 100644
index 00000000..404e0d70
--- /dev/null
+++ b/examples/ti/ek-tm4c1294xl-freertos/README.md
@@ -0,0 +1 @@
+See detailed tutorial at https://mongoose.ws/tutorials/ti/ek-tm4c1294xl-freertos/
diff --git a/examples/ti/ek-tm4c1294xl-baremetal/boot.c b/examples/ti/ek-tm4c1294xl-freertos/boot.c
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-baremetal/boot.c
rename to examples/ti/ek-tm4c1294xl-freertos/boot.c
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/link.ld b/examples/ti/ek-tm4c1294xl-freertos/link.ld
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/link.ld
rename to examples/ti/ek-tm4c1294xl-freertos/link.ld
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/main.c b/examples/ti/ek-tm4c1294xl-freertos/main.c
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/main.c
rename to examples/ti/ek-tm4c1294xl-freertos/main.c
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/mcu.h b/examples/ti/ek-tm4c1294xl-freertos/mcu.h
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/mcu.h
rename to examples/ti/ek-tm4c1294xl-freertos/mcu.h
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/mongoose_custom.h b/examples/ti/ek-tm4c1294xl-freertos/mongoose_custom.h
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/mongoose_custom.h
rename to examples/ti/ek-tm4c1294xl-freertos/mongoose_custom.h
diff --git a/examples/ti/ek-tm4c1294xl-freertos-mip/syscalls.c b/examples/ti/ek-tm4c1294xl-freertos/syscalls.c
similarity index 100%
rename from examples/ti/ek-tm4c1294xl-freertos-mip/syscalls.c
rename to examples/ti/ek-tm4c1294xl-freertos/syscalls.c