diff --git a/freeRTOS-Freescale-K64F-https-TLS1.3/src/user_settings.h b/freeRTOS-Freescale-K64F-https-TLS1.3/src/user_settings.h
index 4efe194..2cec9a9 100644
--- a/freeRTOS-Freescale-K64F-https-TLS1.3/src/user_settings.h
+++ b/freeRTOS-Freescale-K64F-https-TLS1.3/src/user_settings.h
@@ -2,6 +2,7 @@
 #include "FreeRTOS.h"
 #include "task.h"
 #include "portmacro.h"
+#include "semphr.h"
 #include "pico_stack.h"
 
 
@@ -10,7 +11,7 @@
 #define WOLFSSL_GENERAL_ALIGNMENT 4
 //#define DEBUG_WOLFSSL
 //#define WOLFSSL_LOG_PRINTF
-#define SINGLE_THREADED
+//#define SINGLE_THREADED
 #define WOLFSSL_USER_IO
 #define CUSTOM_RAND_GENERATE pico_rand
 #define CUSTOM_RAND_TYPE uint32_t 
@@ -95,4 +96,3 @@ static inline long XTIME(long *x) { return xTaskGetTickCount() / configTICK_RATE
 int pico_send(void *ssl, char *buf, int len, void *ctx);
 int pico_recv(void *ssl, char *buf, int len, void *ctx);
 #include <stdlib.h>
-#include "wolfssl/ssl.h"
diff --git a/freeRTOS-Freescale-K64F-https-TLS1.3/src/wolfboot.config b/freeRTOS-Freescale-K64F-https-TLS1.3/src/wolfboot.config
index 8107453..ac397c9 100644
--- a/freeRTOS-Freescale-K64F-https-TLS1.3/src/wolfboot.config
+++ b/freeRTOS-Freescale-K64F-https-TLS1.3/src/wolfboot.config
@@ -2,10 +2,10 @@ ARCH?=ARM
 TARGET?=kinetis
 SIGN?=ECC256
 HASH?=SHA256
-KINETIS?=$(HOME)/src/FRDM-K64F
-KINETIS_CPU?=MK64FN1M0VLL12
-KINETIS_DRIVERS?=$(KINETIS)/devices/MK64F12
-KINETIS_CMSIS?=$(HOME)/src/FRDM-K64F/CMSIS
+MCUXPRESSO?=$(HOME)/src/FRDM-K64F
+MCUXPRESSO_CPU?=MK64FN1M0VLL12
+MCUXPRESSO_DRIVERS?=$(MCUXPRESSO)/devices/MK64F12
+MCUXPRESSO_CMSIS?=$(HOME)/src/FRDM-K64F/CMSIS
 FREEDOM_E_SDK?=$(HOME)/src/freedom-e-sdk
 DEBUG?=0
 VTOR?=1