diff --git a/arch/arm/src/lpc11xx/Kconfig b/arch/arm/src/lpc11xx/Kconfig
index 33ab254958b..46b01ab6e9e 100644
--- a/arch/arm/src/lpc11xx/Kconfig
+++ b/arch/arm/src/lpc11xx/Kconfig
@@ -122,8 +122,8 @@ config ADC0_AVERAGE
 	default 200
 
 config ADC0_MASK
-	int "ADC0 mask"
-	default 1
+	hex "ADC0 mask"
+	default 0x01
 
 config ADC0_SPS
 	int "ADC0 SPS"
diff --git a/arch/arm/src/lpc17xx/Kconfig b/arch/arm/src/lpc17xx/Kconfig
index 6f403858047..f8f95f8c5df 100644
--- a/arch/arm/src/lpc17xx/Kconfig
+++ b/arch/arm/src/lpc17xx/Kconfig
@@ -489,8 +489,8 @@ config ADC0_AVERAGE
 	default 200
 
 config ADC0_MASK
-	int "ADC0 mask"
-	default 1
+	hex "ADC0 mask"
+	default 0x01
 
 config ADC0_SPS
 	int "ADC0 SPS"
diff --git a/arch/arm/src/lpc43xx/Kconfig b/arch/arm/src/lpc43xx/Kconfig
index e53b79a8387..db16b30626a 100644
--- a/arch/arm/src/lpc43xx/Kconfig
+++ b/arch/arm/src/lpc43xx/Kconfig
@@ -338,6 +338,19 @@ config LPC43_WWDT
 
 endmenu # LPC43xx Peripheral Support
 
+menu "ADC driver options"
+	depends on LPC43_ADC0 || LPC43_ADC1
+
+config ADC0_MASK
+	hex "ADC0 mask"
+	default 0x01
+
+config ADC0_FREQ
+	int "ADC0 frequency"
+	default 4500000
+
+endmenu # ADC driver options
+
 config LPC43_GPIO_IRQ
 	bool "GPIO interrupt support"
 	default n