Kconfig to select a board
diff --git a/arch/arm64/kvm/Kconfig b/arch/arm64/kvm/Kconfig
index a90c54e..ab055bf 100644
--- a/arch/arm64/kvm/Kconfig
+++ b/arch/arm64/kvm/Kconfig
@@ -57,12 +57,29 @@
Adds support for a virtual Performance Monitoring Unit (PMU) in
virtual machines.
-config KVM_ARM_HYP_DEBUG_UART
+menuconfig KVM_ARM_HYP_DEBUG_UART
bool "Hack up some basic UART functionality at EL2"
+if KVM_ARM_HYP_DEBUG_UART
+
+choice
+ prompt "Development board"
+ default KVM_ARM_HYP_DEBUG_UART_BOARD_QEMU
+
+config KVM_ARM_HYP_DEBUG_UART_BOARD_QEMU
+ bool "QEMU"
+
+config KVM_ARM_HYP_DEBUG_UART_BOARD_ROCK_PI_4
+ bool "Rock Pi 4"
+
+config KVM_ARM_HYP_DEBUG_UART_BOARD_OTHER
+ bool "other"
+
+endchoice
+
choice
prompt "UART driver"
- depends on KVM_ARM_HYP_DEBUG_UART
+ default KVM_ARM_HYP_DEBUG_UART_DRIVER_8250 if KVM_ARM_HYP_DEBUG_UART_BOARD_ROCK_PI_4
default KVM_ARM_HYP_DEBUG_UART_DRIVER_PL011
config KVM_ARM_HYP_DEBUG_UART_DRIVER_PL011
@@ -75,9 +92,11 @@
config KVM_ARM_HYP_DEBUG_UART_ADDR
hex "Physical address of the PL011 for EL2 to use"
- depends on KVM_ARM_HYP_DEBUG_UART
+ default 0xff1a0000 if KVM_ARM_HYP_DEBUG_UART_BOARD_ROCK_PI_4
default 0x09000000
+endif # KVM_ARM_HYP_DEBUG_UART
+
config KVM_INDIRECT_VECTORS
def_bool HARDEN_BRANCH_PREDICTOR || RANDOMIZE_BASE
