#config PADS_PACKAGE_EXTRA_PACKAGES
#        bool "PIKA Extra Packages (Unsupported)"
#        default n



menu "Extra Packages (Unsupported)"
source "package/extra_packages/Config_list.in"
endmenu