# # KERNFS should be selected by its users # config KERNFS bool default n javascript' src='/cgit.js'>