declare_args() { | |
# Whether to include the PrimeCell UART (PL011) driver. | |
arch_aarch64_use_pl011 = false | |
# The base address of the PrimeCell UART (PL011) device. | |
arch_aarch64_pl011_base_address = "" | |
} | |
assert(!arch_aarch64_use_pl011 || arch_aarch64_pl011_base_address != "", | |
"Must provide the PL011 base address as \"arch_aarch64_pl011_base_address\".") |