stm32f7: use stm32f7 gpio driver supporting driver model
[platform/kernel/u-boot.git] / board / intel /
drwxr-xr-x   ..
-rw-r--r-- 2451 Kconfig
drwxr-xr-x - bayleybay
drwxr-xr-x - cougarcanyon2
drwxr-xr-x - crownbay
drwxr-xr-x - galileo
drwxr-xr-x - minnowmax