diff --git a/modules/Kconfig.simplelink b/modules/Kconfig.simplelink
index 6f386e8..8fa3bba 100644
--- a/modules/Kconfig.simplelink
+++ b/modules/Kconfig.simplelink
@@ -4,14 +4,15 @@
 	bool
 
 # Notes:
-# SimpleLink drivers require types (stdint.h) from NEWLIB_LIBC
+# SimpleLink drivers require types (stdint.h) from c library which is not
+# provided by minimal lbc
 # Selecting ERRNO lets host driver use Zephyr's __errno
 # Selecting PTHREAD_IPC and POSIX_API are needed to build the host driver
 config SIMPLELINK_HOST_DRIVER
 	bool "Build the SimpleLink WiFi Host Driver"
 	depends on HAS_CC3220SDK
 	depends on MULTITHREADING
-	select NEWLIB_LIBC
+	select REQUIRES_FULL_LIBC
 	select ERRNO
 	select PTHREAD_IPC
 	select POSIX_CLOCK
diff --git a/modules/Kconfig.tinycbor b/modules/Kconfig.tinycbor
index e031d65..e358e76 100644
--- a/modules/Kconfig.tinycbor
+++ b/modules/Kconfig.tinycbor
@@ -36,13 +36,13 @@
 
 config CBOR_FLOATING_POINT
 	bool "Floating point support"
-	select NEWLIB_LIBC
+	select REQUIRES_FULL_LIBC
 	help
 	  This option enables floating point support.
 
 config CBOR_HALF_FLOAT_TYPE
 	bool "Half float type support"
-	select NEWLIB_LIBC
+	select REQUIRES_FULL_LIBC
 	help
 	  This option enables half float type support.