1# SPDX-License-Identifier: GPL-2.0 2 3config SERIAL_PKVM_PL011 4 tristate "Protected KVM PL011 UART" 5 depends on ARM64 6 depends on KVM 7 8config SERIAL_PKVM_PL011_BASE_PHYS 9 hex 10 depends on SERIAL_PKVM_PL011 11 default 0x09000000 12 13config SERIAL_PKVM_PL011_UARTFR 14 hex 15 depends on SERIAL_PKVM_PL011 16 default 0x18 17 18config SERIAL_PKVM_PL011_UARTTX 19 hex 20 depends on SERIAL_PKVM_PL011 21 default 0x0 22 23config SERIAL_PKVM_PL011_BUSY 24 hex 25 depends on SERIAL_PKVM_PL011 26 default 0x2 27 28config SERIAL_PKVM_PL011_FULL 29 hex 30 depends on SERIAL_PKVM_PL011 31 default 0x6 32