Alexandru Ardelean 3bdeaa5f0d target: mpc85xx: make kernel_menuconfig
It's the best method I know (so far) to refresh
the kernel config to a default state.

Signed-off-by: Alexandru Ardelean <ardeleanalex@gmail.com>
2017-05-02 14:33:59 +02:00
..
2017-05-02 14:33:58 +02:00