-
Alessandro Rubini authored
We don't need a ppsi_defconfig any more, as it is now the default. Also, use a full defconfig, so it's explicit what the options are. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
25ef6db9
We don't need a ppsi_defconfig any more, as it is now the default.
Also, use a full defconfig, so it's explicit what the options are.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>