Kconfig: rename BOOT_MEDIA_SPI_BUS to BOOT_DEVICE_SPI_FLASH_BUS
[coreboot.git] / src / mainboard / samsung / 
tree64ab005990201257718b8536939ee99a92829909
drwxr-xr-x   ..
-rw-r--r-- 228 Kconfig
-rw-r--r-- 38 Kconfig.name
drwxr-xr-x - lumpy
drwxr-xr-x - stumpy