1config RISCV32 2 bool 3 select ARM_COMPATIBLE_SEMIHOSTING if TCG 4 select DEVICE_TREE # needed by boot.c 5 6config RISCV64 7 bool 8 select ARM_COMPATIBLE_SEMIHOSTING if TCG 9 select DEVICE_TREE # needed by boot.c 10