diff --git a/Makefile.stm32f4xx b/Makefile.stm32f4xx
deleted file mode 100644
index 92e81b2..0000000
--- a/Makefile.stm32f4xx
+++ /dev/null
@@ -1,463 +0,0 @@
-RESULT ?= http_client_demo
-
-CONFIG_FILE = config.def
-
-DEFINES = \
-	-DSTM32F407xx \
-	-DUSE_HAL_DRIVER \
-	-DUSE_STM32F4_DISCO \
-	-D_WINSOCK_H \
-	-D__error_t_defined
-
-INCLUDES = \
-	-I./src \
-	-I./src/third_party/cmsis/include \
-	-I./src/third_party/st/devices/stm32f4xx \
-	-I./src/third_party/st/drivers/stm32f4xx_hal_driver/inc \
-	-I./src/third_party/st/boards/stm32f4_discovery \
-	-I./src/third_party/freertos/include \
-	-I./src/third_party/freertos/portable/gcc/arm_cm4f \
-	-I./src/common \
-	-I./src/cyclone_tcp
-
-ASM_SOURCES = \
-	./src/startup_stm32f407xx.S
-
-C_SOURCES = \
-	./src/system_stm32f4xx.c \
-	./src/stm32f4xx_it.c \
-	./src/syscalls.c \
-	./src/main_stm32f4xx.c \
-	./src/debug_stm32f4xx.c \
-	./src/common/cpu_endian.c \
-	./src/common/os_port_freertos.c \
-	./src/common/date_time.c \
-	./src/common/str.c \
-	./src/cyclone_tcp/core/net.c \
-	./src/cyclone_tcp/core/net_mem.c \
-	./src/cyclone_tcp/core/net_misc.c \
-	./src/cyclone_tcp/drivers/mac/stm32f4xx_eth_driver.c \
-	./src/cyclone_tcp/drivers/phy/lan8720_driver.c \
-	./src/cyclone_tcp/core/nic.c \
-	./src/cyclone_tcp/core/ethernet.c \
-	./src/cyclone_tcp/core/ethernet_misc.c \
-	./src/cyclone_tcp/ipv4/arp.c \
-	./src/cyclone_tcp/ipv4/ipv4.c \
-	./src/cyclone_tcp/ipv4/ipv4_frag.c \
-	./src/cyclone_tcp/ipv4/ipv4_misc.c \
-	./src/cyclone_tcp/ipv4/icmp.c \
-	./src/cyclone_tcp/ipv4/igmp.c \
-	./src/cyclone_tcp/ipv6/ipv6.c \
-	./src/cyclone_tcp/ipv6/ipv6_frag.c \
-	./src/cyclone_tcp/ipv6/ipv6_misc.c \
-	./src/cyclone_tcp/ipv6/ipv6_pmtu.c \
-	./src/cyclone_tcp/ipv6/icmpv6.c \
-	./src/cyclone_tcp/ipv6/mld.c \
-	./src/cyclone_tcp/ipv6/ndp.c \
-	./src/cyclone_tcp/ipv6/ndp_cache.c \
-	./src/cyclone_tcp/ipv6/ndp_misc.c \
-	./src/cyclone_tcp/ipv6/slaac.c \
-	./src/cyclone_tcp/core/ip.c \
-	./src/cyclone_tcp/core/tcp.c \
-	./src/cyclone_tcp/core/tcp_fsm.c \
-	./src/cyclone_tcp/core/tcp_misc.c \
-	./src/cyclone_tcp/core/tcp_timer.c \
-	./src/cyclone_tcp/core/udp.c \
-	./src/cyclone_tcp/core/socket.c \
-	./src/cyclone_tcp/core/bsd_socket.c \
-	./src/cyclone_tcp/core/raw_socket.c \
-	./src/cyclone_tcp/dns/dns_cache.c \
-	./src/cyclone_tcp/dns/dns_client.c \
-	./src/cyclone_tcp/dns/dns_common.c \
-	./src/cyclone_tcp/dns/dns_debug.c \
-	./src/cyclone_tcp/mdns/mdns_client.c \
-	./src/cyclone_tcp/mdns/mdns_responder.c \
-	./src/cyclone_tcp/mdns/mdns_common.c \
-	./src/cyclone_tcp/netbios/nbns_client.c \
-	./src/cyclone_tcp/netbios/nbns_responder.c \
-	./src/cyclone_tcp/netbios/nbns_common.c \
-	./src/cyclone_tcp/llmnr/llmnr_client.c \
-	./src/cyclone_tcp/llmnr/llmnr_responder.c \
-	./src/cyclone_tcp/llmnr/llmnr_common.c \
-	./src/cyclone_tcp/dhcp/dhcp_client.c \
-	./src/cyclone_tcp/dhcp/dhcp_common.c \
-	./src/cyclone_tcp/dhcp/dhcp_debug.c \
-	./src/third_party/freertos/portable/gcc/arm_cm4f/port.c \
-	./src/third_party/freertos/croutine.c \
-	./src/third_party/freertos/list.c \
-	./src/third_party/freertos/queue.c \
-	./src/third_party/freertos/tasks.c \
-	./src/third_party/freertos/timers.c \
-	./src/third_party/freertos/portable/memmang/heap_3.c \
-	./src/third_party/st/boards/stm32f4_discovery/stm32f4_discovery.c \
-	./src/third_party/st/boards/stm32f4_discovery/stm32f4_discovery_accelerometer.c \
-	./src/third_party/st/boards/components/lis302dl/lis302dl.c \
-	./src/third_party/st/boards/components/lis3dsh/lis3dsh.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_adc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_adc_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_can.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_cec.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_cortex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_crc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_cryp.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_cryp_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dac.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dac_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dcmi.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dcmi_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dfsdm.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dma.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dma_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dma2d.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_dsi.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_eth.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_flash.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_flash_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_flash_ramfunc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_fmpi2c.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_fmpi2c_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_gpio.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_hash.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_hash_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_hcd.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_i2c.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_i2c_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_i2s.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_i2s_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_irda.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_iwdg.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_lptim.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_ltdc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_ltdc_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_nand.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_nor.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_pccard.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_pcd.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_pcd_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_pwr.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_pwr_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_qspi.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_rcc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_rcc_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_rng.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_rtc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_rtc_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_sai.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_sai_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_sd.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_sdram.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_smartcard.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_spdifrx.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_spi.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_sram.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_tim.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_tim_ex.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_uart.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_usart.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_hal_wwdg.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_ll_fmc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_ll_fsmc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_ll_sdmmc.c \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/src/stm32f4xx_ll_usb.c \
-	./src/ada/helper.c
-
-HEADERS = \
-	./src/spark_config.h \
-	./src/os_port_config.h \
-	./src/net_config.h \
-	./src/FreeRTOSConfig.h \
-	./src/stm32f4xx_hal_conf.h \
-	./src/stm32f4xx_it.h \
-	./src/common/cpu_endian.h \
-	./src/common/os_port.h \
-	./src/common/os_port_freertos.h \
-	./src/common/date_time.h \
-	./src/common/str.h \
-	./src/common/error.h \
-	./src/common/debug.h \
-	./src/cyclone_tcp/core/net.h \
-	./src/cyclone_tcp/core/net_mem.h \
-	./src/cyclone_tcp/core/net_misc.h \
-	./src/cyclone_tcp/drivers/mac/stm32f7xx_eth_driver.h \
-	./src/cyclone_tcp/drivers/phy/lan8742_driver.h \
-	./src/cyclone_tcp/core/nic.h \
-	./src/cyclone_tcp/core/ethernet.h \
-	./src/cyclone_tcp/core/ethernet_misc.h \
-	./src/cyclone_tcp/ipv4/arp.h \
-	./src/cyclone_tcp/ipv4/ipv4.h \
-	./src/cyclone_tcp/ipv4/ipv4_frag.h \
-	./src/cyclone_tcp/ipv4/ipv4_misc.h \
-	./src/cyclone_tcp/ipv4/icmp.h \
-	./src/cyclone_tcp/ipv4/igmp.h \
-	./src/cyclone_tcp/ipv6/ipv6.h \
-	./src/cyclone_tcp/ipv6/ipv6_frag.h \
-	./src/cyclone_tcp/ipv6/ipv6_misc.h \
-	./src/cyclone_tcp/ipv6/ipv6_pmtu.h \
-	./src/cyclone_tcp/ipv6/icmpv6.h \
-	./src/cyclone_tcp/ipv6/mld.h \
-	./src/cyclone_tcp/ipv6/ndp.h \
-	./src/cyclone_tcp/ipv6/ndp_cache.h \
-	./src/cyclone_tcp/ipv6/ndp_misc.h \
-	./src/cyclone_tcp/ipv6/slaac.h \
-	./src/cyclone_tcp/core/ip.h \
-	./src/cyclone_tcp/core/tcp.h \
-	./src/cyclone_tcp/core/tcp_fsm.h \
-	./src/cyclone_tcp/core/tcp_misc.h \
-	./src/cyclone_tcp/core/tcp_timer.h \
-	./src/cyclone_tcp/core/udp.h \
-	./src/cyclone_tcp/core/socket.h \
-	./src/cyclone_tcp/core/bsd_socket.h \
-	./src/cyclone_tcp/core/raw_socket.h \
-	./src/cyclone_tcp/dns/dns_cache.h \
-	./src/cyclone_tcp/dns/dns_client.h \
-	./src/cyclone_tcp/dns/dns_common.h \
-	./src/cyclone_tcp/dns/dns_debug.h \
-	./src/cyclone_tcp/mdns/mdns_client.h \
-	./src/cyclone_tcp/mdns/mdns_responder.h \
-	./src/cyclone_tcp/mdns/mdns_common.h \
-	./src/cyclone_tcp/netbios/nbns_client.h \
-	./src/cyclone_tcp/netbios/nbns_responder.h \
-	./src/cyclone_tcp/netbios/nbns_common.h \
-	./src/cyclone_tcp/llmnr/llmnr_client.h \
-	./src/cyclone_tcp/llmnr/llmnr_responder.h \
-	./src/cyclone_tcp/llmnr/llmnr_common.h \
-	./src/cyclone_tcp/dhcp/dhcp_client.h \
-	./src/cyclone_tcp/dhcp/dhcp_common.h \
-	./src/cyclone_tcp/dhcp/dhcp_debug.h \
-	./src/third_party/freertos/portable/gcc/arm_cm7/r0p1/portmacro.h \
-	./src/third_party/freertos/include/croutine.h \
-	./src/third_party/freertos/include/FreeRTOS.h \
-	./src/third_party/freertos/include/list.h \
-	./src/third_party/freertos/include/mpu_wrappers.h \
-	./src/third_party/freertos/include/portable.h \
-	./src/third_party/freertos/include/projdefs.h \
-	./src/third_party/freertos/include/queue.h \
-	./src/third_party/freertos/include/semphr.h \
-	./src/third_party/freertos/include/stack_macros.h \
-	./src/third_party/freertos/include/task.h \
-	./src/third_party/freertos/include/timers.h \
-	./src/third_party/st/boards/stm32f4_discovery/stm32f4_discovery.h \
-	./src/third_party/st/boards/stm32f4_discovery/stm32f4_discovery_accelerometer.h \
-	./src/third_party/st/boards/components/lis302dl/lis302dl.h \
-	./src/third_party/st/boards/components/lis3dsh/lis3dsh.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_adc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_adc_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_can.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_cec.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_cortex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_crc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_cryp.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_cryp_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dac.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dac_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dcmi.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dcmi_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_def.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dfsdm.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dma.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dma_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dma2d.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_dsi.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_eth.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_flash.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_flash_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_flash_ramfunc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_fmpi2c.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_fmpi2c_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_gpio.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_gpio_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_hash.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_hash_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_hcd.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_i2c.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_i2c_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_i2s.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_i2s_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_irda.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_iwdg.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_lptim.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_ltdc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_ltdc_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_nand.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_nor.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_pccard.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_pcd.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_pcd_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_pwr.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_pwr_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_qspi.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_rcc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_rcc_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_rng.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_rtc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_rtc_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_sai.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_sai_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_sd.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_sdram.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_smartcard.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_spdifrx.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_spi.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_sram.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_tim.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_tim_ex.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_uart.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_usart.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_hal_wwdg.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_ll_fmc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_ll_fsmc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_ll_sdmmc.h \
-	./src/third_party/st/drivers/stm32f4xx_hal_driver/inc/stm32f4xx_ll_usb.h
-
-ASM_OBJECTS = $(patsubst %.S, %.o, $(ASM_SOURCES))
-
-C_OBJECTS = $(patsubst %.c, %.o, $(C_SOURCES))
-
-UDP_SUPPORT := $(shell grep -e "UDP_SUPPORT[[:space:]]:=[[:space:]]True" $(CONFIG_FILE))
-
-ADA_SOURCES = \
-	src/ada/ada_main.adb \
-	src/ada/last_chance_handler.adb \
-	src/ada/os.adb \
-	src/ada/tcp_fsm_binding.adb \
-	src/ada/tcp_misc_binding.adb \
-	src/ada/ip_binding.adb \
-	src/ada/net_mem_interface.adb \
-	src/ada/socket_helper.adb \
-	src/ada/tcp_interface.adb \
-	src/ada/tcp_timer_interface.adb \
-	src/ada/socket_interface.adb
-ADA_HEADERS = \
-	src/ada/tcp_type.ads \
-	src/ada/socket_interface.ads
-
-ifneq ($(UDP_SUPPORT), )
-	ADA_SOURCES += src/ada/udp_binding.adb
-endif
-
-# ADA_OBJECTS += $(patsubst %.ads, %.o, $(ADA_HEADERS))
-ADA_OBJECTS += $(patsubst %.adb, %.o, $(ADA_SOURCES))
-
-OBJ_DIR = obj
-
-LINKER_SCRIPT = src/stm32f407_flash.ld
-
-CFLAGS += -fno-common -Wall -Os -g3 -std=c99
-CFLAGS += -mcpu=cortex-m4 -mthumb -mfpu=fpv4-sp-d16 -mfloat-abi=hard
-CFLAGS += -ffunction-sections -fdata-sections -Wl,--gc-sections
-CFLAGS += $(DEFINES)
-CFLAGS += $(INCLUDES)
-
-RTS = /opt/GNAT/2020-arm-elf
-
-ADAFLAGS += --RTS=$(addprefix $(RTS)/, arm-eabi/lib/gnat/ravenscar-sfp-stm32f4/)
-ADAFLAGS += -fno-common -Wall -Os -g3 -ggdb
-ADAFLAGS += -mcpu=cortex-m7 -mthumb -mfpu=fpv5-d16 -mfloat-abi=hard
-ADAFLAGS += -ffunction-sections -fdata-sections -Wl,--gc-sections
-ADAFLAGS += -gnat2020 -gnatwa -gnatef -gnatp # -gnata
-ADAFLAGS += -I. -gnatep=prep.data
-
-ADA_COMPILER = arm-eabi-gcc
-
-ADA_PROVER := gnatprove
-
-CROSS_COMPILE ?= arm-none-eabi-
-CC = $(CROSS_COMPILE)gcc
-LD = $(CROSS_COMPILE)ld
-OBJDUMP = $(CROSS_COMPILE)objdump
-OBJCOPY = $(CROSS_COMPILE)objcopy
-SIZE = $(CROSS_COMPILE)size
-
-THIS_MAKEFILE := $(lastword $(MAKEFILE_LIST))
-
-.PHONY: all
-all: build size
-
-.PHONY: install
-install: select_files build size program
-
-############################
-##  Configuration target  ##
-############################
-
-config: $(ADA_HEADERS) $(ADA_SOURCES)
-
-##########################
-##  Compilation target  ##
-##########################
-
-.PHONY: build
-build: $(RESULT).elf $(RESULT).lst $(RESULT).bin $(RESULT).hex
-
-$(RESULT).elf: $(ADA_HEADERS) $(ADA_SOURCES) $(ASM_OBJECTS) $(C_OBJECTS) $(ADA_OBJECTS) $(HEADERS) $(LINKER_SCRIPT) $(THIS_MAKEFILE)
-	$(CC) -Wl,-M=$(RESULT).map -Wl,-T$(LINKER_SCRIPT) $(CFLAGS) $(addprefix $(OBJ_DIR)/, $(notdir $(ASM_OBJECTS))) $(addprefix $(OBJ_DIR)/, $(notdir $(ADA_OBJECTS))) $(addprefix $(OBJ_DIR)/, $(notdir $(C_OBJECTS))) -o $@
-
-$(ASM_OBJECTS): | $(OBJ_DIR)
-
-$(C_OBJECTS): | $(OBJ_DIR)
-
-$(OBJ_DIR):
-	mkdir -p $@
-
-src/spark_config.h: config.def
-	python3 src/run_config.py $<
-
-src/ada/socket_interface.ads: $(CONFIG_FILE) src/ada/socket_interface_tcp.ads src/ada/socket_interface_tcp_udp.ads
-ifneq ($(UDP_SUPPORT), )
-	cp src/ada/socket_interface_tcp_udp.ads $@
-else
-	cp src/ada/socket_interface_tcp.ads $@
-endif
-
-src/ada/socket_interface.adb: $(CONFIG_FILE) src/ada/socket_interface_tcp.adb src/ada/socket_interface_tcp_udp.adb
-ifneq ($(UDP_SUPPORT), )
-	cp src/ada/socket_interface_tcp_udp.adb $@
-else
-	cp src/ada/socket_interface_tcp.adb $@
-endif
-
-%.o: %.c $(HEADERS) $(THIS_MAKEFILE)
-	$(CC) $(CFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.o: %.S $(HEADERS) $(THIS_MAKEFILE)
-	$(CC) $(CFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.o: %.adb $(THIS_MAKEFILE) $()
-	$(ADA_COMPILER) $(ADAFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.o: %.ads $(THIS_MAKEFILE)
-	$(ADA_COMPILER) $(ADAFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.lst: %.elf
-	$(OBJDUMP) -x -S $(RESULT).elf > $@
-
-%.bin: %.elf
-	$(OBJCOPY) -O binary $< $@
-
-%.hex: %.elf
-	$(OBJCOPY) -O ihex $< $@
-
-.PHONY: size
-size: $(RESULT).elf
-	$(SIZE) $(RESULT).elf
-
-.PHONY: flash
-flash:
-	openocd -f board/stm32f4discovery.cfg -c "init; reset halt; flash write_image erase $(RESULT).bin 0x08000000; reset run; shutdown"
-
-.PHONY: clean
-clean:
-	rm -f $(RESULT).elf
-	rm -f $(RESULT).bin
-	rm -f $(RESULT).map
-	rm -f $(RESULT).hex
-	rm -f $(RESULT).lst
-	rm -f $(OBJ_DIR)/*.o
-	rm -f ./src/spark_config.h
-	rm -f ./src/ada/socket_interface.adb ./src/ada/socket_interface.ads
-
-.PHONY: prove
-prove: prove.gpr config $(ADA_SOURCES) $(ADA_HEADERS) $(wildcard ./src/ada/*.adb) $(wildcard ./src/ada/*.ads)
-	$(ADA_PROVER) -P $< --level=4 -j0
diff --git a/Makefile.stm32f7xx b/Makefile.stm32f7xx
deleted file mode 100644
index b31cbc9..0000000
--- a/Makefile.stm32f7xx
+++ /dev/null
@@ -1,478 +0,0 @@
-RESULT ?= http_client_demo
-
-CONFIG_FILE = config.def
-
-DEFINES = \
-	-DSTM32F769xx \
-	-DUSE_HAL_DRIVER \
-	-DUSE_STM32F769I_DISCO \
-	-D_WINSOCK_H \
-	-D__error_t_defined
-
-INCLUDES = \
-	-I./src \
-	-I./src/third_party/cmsis/include \
-	-I./src/third_party/st/devices/stm32f7xx \
-	-I./src/third_party/st/drivers/stm32f7xx_hal_driver/inc \
-	-I./src/third_party/st/boards/stm32f769i_discovery \
-	-I./src/third_party/freertos/include \
-	-I./src/third_party/freertos/portable/gcc/arm_cm7/r0p1 \
-	-I./src/common \
-	-I./src/cyclone_tcp
-
-ASM_SOURCES = \
-	./src/startup_stm32f769xx.S
-
-C_SOURCES = \
-	./src/system_stm32f7xx.c \
-	./src/stm32f7xx_it.c \
-	./src/syscalls.c \
-	./src/main_stm32f7xx.c \
-	./src/debug_stm32f7xx.c \
-	./src/common/cpu_endian.c \
-	./src/common/os_port_freertos.c \
-	./src/common/date_time.c \
-	./src/common/str.c \
-	./src/cyclone_tcp/core/net.c \
-	./src/cyclone_tcp/core/net_mem.c \
-	./src/cyclone_tcp/core/net_misc.c \
-	./src/cyclone_tcp/drivers/mac/stm32f7xx_eth_driver.c \
-	./src/cyclone_tcp/drivers/phy/lan8742_driver.c \
-	./src/cyclone_tcp/core/nic.c \
-	./src/cyclone_tcp/core/ethernet.c \
-	./src/cyclone_tcp/core/ethernet_misc.c \
-	./src/cyclone_tcp/ipv4/arp.c \
-	./src/cyclone_tcp/ipv4/ipv4.c \
-	./src/cyclone_tcp/ipv4/ipv4_frag.c \
-	./src/cyclone_tcp/ipv4/ipv4_misc.c \
-	./src/cyclone_tcp/ipv4/icmp.c \
-	./src/cyclone_tcp/ipv4/igmp.c \
-	./src/cyclone_tcp/ipv6/ipv6.c \
-	./src/cyclone_tcp/ipv6/ipv6_frag.c \
-	./src/cyclone_tcp/ipv6/ipv6_misc.c \
-	./src/cyclone_tcp/ipv6/ipv6_pmtu.c \
-	./src/cyclone_tcp/ipv6/icmpv6.c \
-	./src/cyclone_tcp/ipv6/mld.c \
-	./src/cyclone_tcp/ipv6/ndp.c \
-	./src/cyclone_tcp/ipv6/ndp_cache.c \
-	./src/cyclone_tcp/ipv6/ndp_misc.c \
-	./src/cyclone_tcp/ipv6/slaac.c \
-	./src/cyclone_tcp/core/ip.c \
-	./src/cyclone_tcp/core/tcp.c \
-	./src/cyclone_tcp/core/tcp_fsm.c \
-	./src/cyclone_tcp/core/tcp_misc.c \
-	./src/cyclone_tcp/core/tcp_timer.c \
-	./src/cyclone_tcp/core/udp.c \
-	./src/cyclone_tcp/core/socket.c \
-	./src/cyclone_tcp/core/bsd_socket.c \
-	./src/cyclone_tcp/core/raw_socket.c \
-	./src/cyclone_tcp/dns/dns_cache.c \
-	./src/cyclone_tcp/dns/dns_client.c \
-	./src/cyclone_tcp/dns/dns_common.c \
-	./src/cyclone_tcp/dns/dns_debug.c \
-	./src/cyclone_tcp/mdns/mdns_client.c \
-	./src/cyclone_tcp/mdns/mdns_responder.c \
-	./src/cyclone_tcp/mdns/mdns_common.c \
-	./src/cyclone_tcp/netbios/nbns_client.c \
-	./src/cyclone_tcp/netbios/nbns_responder.c \
-	./src/cyclone_tcp/netbios/nbns_common.c \
-	./src/cyclone_tcp/llmnr/llmnr_client.c \
-	./src/cyclone_tcp/llmnr/llmnr_responder.c \
-	./src/cyclone_tcp/llmnr/llmnr_common.c \
-	./src/cyclone_tcp/dhcp/dhcp_client.c \
-	./src/cyclone_tcp/dhcp/dhcp_common.c \
-	./src/cyclone_tcp/dhcp/dhcp_debug.c \
-	./src/third_party/freertos/portable/gcc/arm_cm7/r0p1/port.c \
-	./src/third_party/freertos/croutine.c \
-	./src/third_party/freertos/list.c \
-	./src/third_party/freertos/queue.c \
-	./src/third_party/freertos/tasks.c \
-	./src/third_party/freertos/timers.c \
-	./src/third_party/freertos/portable/memmang/heap_3.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_audio.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_eeprom.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_lcd.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_qspi.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_sd.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_sdram.c \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_ts.c \
-	./src/third_party/st/boards/components/ft6x06/ft6x06.c \
-	./src/third_party/st/boards/components/otm8009a/otm8009a.c \
-	./src/third_party/st/boards/components/wm8994/wm8994.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_adc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_adc_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_can.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_cec.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_cortex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_crc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_crc_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_cryp.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_cryp_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dac.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dac_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dcmi.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dcmi_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dfsdm.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dma.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dma_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dma2d.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_dsi.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_eth.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_flash.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_flash_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_gpio.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_hash.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_hash_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_hcd.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_i2c.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_i2c_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_i2s.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_irda.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_iwdg.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_jpeg.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_lptim.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_ltdc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_ltdc_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_mdios.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_nand.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_nor.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_pcd.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_pcd_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_pwr.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_pwr_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_qspi.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_rcc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_rcc_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_rng.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_rtc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_rtc_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_sai.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_sai_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_sd.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_sdram.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_smartcard.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_smartcard_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_spdifrx.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_spi.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_sram.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_tim.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_tim_ex.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_uart.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_usart.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_hal_wwdg.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_ll_fmc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_ll_sdmmc.c \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/src/stm32f7xx_ll_usb.c \
-	./src/ada/helper.c
-
-HEADERS = \
-	./src/spark_config.h \
-	./src/os_port_config.h \
-	./src/net_config.h \
-	./src/FreeRTOSConfig.h \
-	./src/stm32f7xx_hal_conf.h \
-	./src/stm32f7xx_it.h \
-	./src/common/cpu_endian.h \
-	./src/common/os_port.h \
-	./src/common/os_port_freertos.h \
-	./src/common/date_time.h \
-	./src/common/str.h \
-	./src/common/error.h \
-	./src/common/debug.h \
-	./src/cyclone_tcp/core/net.h \
-	./src/cyclone_tcp/core/net_mem.h \
-	./src/cyclone_tcp/core/net_misc.h \
-	./src/cyclone_tcp/drivers/mac/stm32f7xx_eth_driver.h \
-	./src/cyclone_tcp/drivers/phy/lan8742_driver.h \
-	./src/cyclone_tcp/core/nic.h \
-	./src/cyclone_tcp/core/ethernet.h \
-	./src/cyclone_tcp/core/ethernet_misc.h \
-	./src/cyclone_tcp/ipv4/arp.h \
-	./src/cyclone_tcp/ipv4/ipv4.h \
-	./src/cyclone_tcp/ipv4/ipv4_frag.h \
-	./src/cyclone_tcp/ipv4/ipv4_misc.h \
-	./src/cyclone_tcp/ipv4/icmp.h \
-	./src/cyclone_tcp/ipv4/igmp.h \
-	./src/cyclone_tcp/ipv6/ipv6.h \
-	./src/cyclone_tcp/ipv6/ipv6_frag.h \
-	./src/cyclone_tcp/ipv6/ipv6_misc.h \
-	./src/cyclone_tcp/ipv6/ipv6_pmtu.h \
-	./src/cyclone_tcp/ipv6/icmpv6.h \
-	./src/cyclone_tcp/ipv6/mld.h \
-	./src/cyclone_tcp/ipv6/ndp.h \
-	./src/cyclone_tcp/ipv6/ndp_cache.h \
-	./src/cyclone_tcp/ipv6/ndp_misc.h \
-	./src/cyclone_tcp/ipv6/slaac.h \
-	./src/cyclone_tcp/core/ip.h \
-	./src/cyclone_tcp/core/tcp.h \
-	./src/cyclone_tcp/core/tcp_fsm.h \
-	./src/cyclone_tcp/core/tcp_misc.h \
-	./src/cyclone_tcp/core/tcp_timer.h \
-	./src/cyclone_tcp/core/udp.h \
-	./src/cyclone_tcp/core/socket.h \
-	./src/cyclone_tcp/core/bsd_socket.h \
-	./src/cyclone_tcp/core/raw_socket.h \
-	./src/cyclone_tcp/dns/dns_cache.h \
-	./src/cyclone_tcp/dns/dns_client.h \
-	./src/cyclone_tcp/dns/dns_common.h \
-	./src/cyclone_tcp/dns/dns_debug.h \
-	./src/cyclone_tcp/mdns/mdns_client.h \
-	./src/cyclone_tcp/mdns/mdns_responder.h \
-	./src/cyclone_tcp/mdns/mdns_common.h \
-	./src/cyclone_tcp/netbios/nbns_client.h \
-	./src/cyclone_tcp/netbios/nbns_responder.h \
-	./src/cyclone_tcp/netbios/nbns_common.h \
-	./src/cyclone_tcp/llmnr/llmnr_client.h \
-	./src/cyclone_tcp/llmnr/llmnr_responder.h \
-	./src/cyclone_tcp/llmnr/llmnr_common.h \
-	./src/cyclone_tcp/dhcp/dhcp_client.h \
-	./src/cyclone_tcp/dhcp/dhcp_common.h \
-	./src/cyclone_tcp/dhcp/dhcp_debug.h \
-	./src/third_party/freertos/portable/gcc/arm_cm7/r0p1/portmacro.h \
-	./src/third_party/freertos/include/croutine.h \
-	./src/third_party/freertos/include/FreeRTOS.h \
-	./src/third_party/freertos/include/list.h \
-	./src/third_party/freertos/include/mpu_wrappers.h \
-	./src/third_party/freertos/include/portable.h \
-	./src/third_party/freertos/include/projdefs.h \
-	./src/third_party/freertos/include/queue.h \
-	./src/third_party/freertos/include/semphr.h \
-	./src/third_party/freertos/include/stack_macros.h \
-	./src/third_party/freertos/include/task.h \
-	./src/third_party/freertos/include/timers.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_audio.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_eeprom.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_lcd.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_qspi.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_sd.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_sdram.h \
-	./src/third_party/st/boards/stm32f769i_discovery/stm32f769i_discovery_ts.h \
-	./src/third_party/st/boards/components/adv7533/adv7533.h \
-	./src/third_party/st/boards/components/ft6x06/ft6x06.h \
-	./src/third_party/st/boards/components/mx25l512/mx25l512.h \
-	./src/third_party/st/boards/components/otm8009a/otm8009a.h \
-	./src/third_party/st/boards/components/wm8994/wm8994.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_adc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_adc_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_can.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_cec.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_cortex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_crc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_crc_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_cryp.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_cryp_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dac.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dac_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dcmi.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dcmi_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_def.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dfsdm.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dma.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dma_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dma2d.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_dsi.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_eth.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_flash.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_flash_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_gpio.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_gpio_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_hash.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_hash_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_hcd.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_i2c.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_i2c_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_i2s.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_irda.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_irda_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_iwdg.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_jpeg.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_lptim.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_ltdc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_ltdc_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_mdios.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_nand.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_nor.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_pcd.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_pcd_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_pwr.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_pwr_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_qspi.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_rcc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_rcc_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_rng.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_rtc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_rtc_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_sai.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_sai_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_sd.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_sdram.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_smartcard.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_smartcard_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_spdifrx.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_spi.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_sram.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_tim.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_tim_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_uart.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_uart_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_usart.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_usart_ex.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_hal_wwdg.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_ll_fmc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_ll_sdmmc.h \
-	./src/third_party/st/drivers/stm32f7xx_hal_driver/inc/stm32f7xx_ll_usb.h
-
-ASM_OBJECTS = $(patsubst %.S, %.o, $(ASM_SOURCES))
-
-C_OBJECTS = $(patsubst %.c, %.o, $(C_SOURCES))
-
-UDP_SUPPORT := $(shell grep -e "UDP_SUPPORT[[:space:]]:=[[:space:]]True" $(CONFIG_FILE))
-
-ADA_SOURCES = \
-	src/ada/ada_main.adb \
-	src/ada/last_chance_handler.adb \
-	src/ada/os.adb \
-	src/ada/tcp_fsm_binding.adb \
-	src/ada/tcp_misc_binding.adb \
-	src/ada/ip_binding.adb \
-	src/ada/net_mem_interface.adb \
-	src/ada/socket_helper.adb \
-	src/ada/tcp_interface.adb \
-	src/ada/tcp_timer_interface.adb \
-	src/ada/socket_interface.adb
-ADA_HEADERS = \
-	src/ada/tcp_type.ads \
-	src/ada/socket_interface.ads
-
-ifneq ($(UDP_SUPPORT), )
-	ADA_SOURCES += src/ada/udp_binding.adb
-endif
-
-# ADA_OBJECTS += $(patsubst %.ads, %.o, $(ADA_HEADERS))
-ADA_OBJECTS += $(patsubst %.adb, %.o, $(ADA_SOURCES))
-
-OBJ_DIR = obj
-
-LINKER_SCRIPT = src/stm32f769_flash.ld
-
-CFLAGS += -fno-common -Wall -Os -g3 -std=c99
-CFLAGS += -mcpu=cortex-m7 -mthumb -mfpu=fpv5-d16 -mfloat-abi=hard
-CFLAGS += -ffunction-sections -fdata-sections -Wl,--gc-sections
-CFLAGS += $(DEFINES)
-CFLAGS += $(INCLUDES)
-
-RTS = /opt/GNAT/2020-arm-elf
-
-ADAFLAGS += --RTS=$(addprefix $(RTS)/, arm-eabi/lib/gnat/ravenscar-sfp-stm32f769disco/)
-ADAFLAGS += -fno-common -Wall -Os -g3 -ggdb
-ADAFLAGS += -mcpu=cortex-m7 -mthumb -mfpu=fpv5-d16 -mfloat-abi=hard
-ADAFLAGS += -ffunction-sections -fdata-sections -Wl,--gc-sections
-ADAFLAGS += -gnat2020 -gnatwa -gnatef -gnatp # -gnata
-ADAFLAGS += -I. -gnatep=prep.data
-
-ADA_COMPILER = arm-eabi-gcc
-
-ADA_PROVER := gnatprove
-
-CROSS_COMPILE ?= arm-none-eabi-
-CC = $(CROSS_COMPILE)gcc
-LD = $(CROSS_COMPILE)ld
-OBJDUMP = $(CROSS_COMPILE)objdump
-OBJCOPY = $(CROSS_COMPILE)objcopy
-SIZE = $(CROSS_COMPILE)size
-
-THIS_MAKEFILE := $(lastword $(MAKEFILE_LIST))
-
-.PHONY: all
-all: build size
-
-.PHONY: install
-install: select_files build size program
-
-############################
-##  Configuration target  ##
-############################
-
-config: $(ADA_HEADERS) $(ADA_SOURCES)
-
-##########################
-##  Compilation target  ##
-##########################
-
-.PHONY: build
-build: $(RESULT).elf $(RESULT).lst $(RESULT).bin $(RESULT).hex
-
-$(RESULT).elf: $(ADA_HEADERS) $(ADA_SOURCES) $(ASM_OBJECTS) $(C_OBJECTS) $(ADA_OBJECTS) $(HEADERS) $(LINKER_SCRIPT) $(THIS_MAKEFILE)
-	$(CC) -Wl,-M=$(RESULT).map -Wl,-T$(LINKER_SCRIPT) $(CFLAGS) $(addprefix $(OBJ_DIR)/, $(notdir $(ASM_OBJECTS))) $(addprefix $(OBJ_DIR)/, $(notdir $(ADA_OBJECTS))) $(addprefix $(OBJ_DIR)/, $(notdir $(C_OBJECTS))) -o $@
-
-$(ASM_OBJECTS): | $(OBJ_DIR)
-
-$(C_OBJECTS): | $(OBJ_DIR)
-
-$(OBJ_DIR):
-	mkdir -p $@
-
-src/spark_config.h: config.def
-	python3 src/run_config.py $<
-
-src/ada/socket_interface.ads: $(CONFIG_FILE) src/ada/socket_interface_tcp.ads src/ada/socket_interface_tcp_udp.ads
-ifneq ($(UDP_SUPPORT), )
-	cp src/ada/socket_interface_tcp_udp.ads $@
-else
-	cp src/ada/socket_interface_tcp.ads $@
-endif
-
-src/ada/socket_interface.adb: $(CONFIG_FILE) src/ada/socket_interface_tcp.adb src/ada/socket_interface_tcp_udp.adb
-ifneq ($(UDP_SUPPORT), )
-	cp src/ada/socket_interface_tcp_udp.adb $@
-else
-	cp src/ada/socket_interface_tcp.adb $@
-endif
-
-%.o: %.c $(HEADERS) $(THIS_MAKEFILE)
-	$(CC) $(CFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.o: %.S $(HEADERS) $(THIS_MAKEFILE)
-	$(CC) $(CFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.o: %.adb $(THIS_MAKEFILE) $()
-	$(ADA_COMPILER) $(ADAFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.o: %.ads $(THIS_MAKEFILE)
-	$(ADA_COMPILER) $(ADAFLAGS) -c $< -o $(addprefix $(OBJ_DIR)/, $(notdir $@))
-
-%.lst: %.elf
-	$(OBJDUMP) -x -S $(RESULT).elf > $@
-
-%.bin: %.elf
-	$(OBJCOPY) -O binary $< $@
-
-%.hex: %.elf
-	$(OBJCOPY) -O ihex $< $@
-
-.PHONY: size
-size: $(RESULT).elf
-	$(SIZE) $(RESULT).elf
-
-.PHONY: flash
-flash:
-	openocd -f board/stm32f7discovery.cfg -c "init; reset halt; flash write_image erase $(RESULT).bin 0x08000000; reset run; shutdown"
-
-.PHONY: clean
-clean:
-	rm -f $(RESULT).elf
-	rm -f $(RESULT).bin
-	rm -f $(RESULT).map
-	rm -f $(RESULT).hex
-	rm -f $(RESULT).lst
-	rm -f $(OBJ_DIR)/*.o
-	rm -f ./src/spark_config.h
-	rm -f ./src/ada/socket_interface.adb ./src/ada/socket_interface.ads
-
-.PHONY: prove
-prove: prove.gpr config $(ADA_SOURCES) $(ADA_HEADERS) $(wildcard ./src/ada/*.adb) $(wildcard ./src/ada/*.ads)
-	$(ADA_PROVER) -P $< --level=4 -j0
diff --git a/configure.sh b/configure.sh
deleted file mode 100755
index 0dae090..0000000
--- a/configure.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/sh
-
-cat << EOF
-Chose the development board to be used for compiling the Http_Cyclone demo.
-[a] stm32f407_discovery
-[b] stm32f769i_discovery
-EOF
-
-read -p 'Please, select an option: ' material
-
-if [ $material = 'a' -o $material = 'A' ]
-then
-    echo 'Done. Run "make" to compile the demo.'
-    cp Makefile.stm32f4xx Makefile
-elif [ $material = 'b' -o $material = 'B' ]
-then
-    echo 'Done. Run "make" to compile the demo.'
-    cp Makefile.stm32f7xx Makefile
-else
-    echo 'Unsupported option.'
-fi