Jetpack/u-boot/arch/microblaze/Kconfig
dchvs 31faf4d851 cti_kernel: Add CTI sources
Elroy L4T r32.4.4 – JetPack 4.4.1
2021-03-15 20:15:11 -06:00

23 lines
342 B
Plaintext

menu "MicroBlaze architecture"
depends on MICROBLAZE
config SYS_ARCH
default "microblaze"
choice
prompt "Target select"
optional
config TARGET_MICROBLAZE_GENERIC
bool "Support microblaze-generic"
select SUPPORT_SPL
select OF_CONTROL
select DM
select DM_SERIAL
endchoice
source "board/xilinx/microblaze-generic/Kconfig"
endmenu