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