| 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\".") |