create a platform config-* file if there is none already when running kernel_menuconf...
This page took 0.052717 seconds and 3 git commands to generate.