Convert CONFIG_SPL_INIT_MINIMAL et al to Kconfig
[platform/kernel/u-boot.git] / board / openpiton /
drwxr-xr-x   ..
drwxr-xr-x - riscv64