diff options
Diffstat (limited to 'Kconfig')
-rw-r--r-- | Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |