# # KERNFS should be selected by its users # config KERNFS bool default n