1 files changed, 4 insertions, 0 deletions
diff --git a/Kconfig b/Kconfig
index 6c9a58b..2d8e624 100644
--- a/Kconfig
+++ b/Kconfig
@@ -54,6 +54,10 @@ menu "MPFR"
 source "kconfig/mpfrhost.kconfig"
 endmenu
 
+menu "GMP"
+source "kconfig/gmphost.kconfig"
+endmenu
+
 menu "Linux kernel headers"
 source "kconfig/linux.kconfig"
 endmenu