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