| Andrew Scull | 114096b | 2018-07-31 14:42:16 +0100 | [diff] [blame] | 1 | declare_args() { |
| 2 | # Whether to include the PrimeCell UART (PL011) driver. | ||||
| 3 | arch_aarch64_use_pl011 = false | ||||
| 4 | |||||
| 5 | # The base address of the PrimeCell UART (PL011) device. | ||||
| 6 | arch_aarch64_pl011_base_address = "" | ||||
| 7 | } | ||||
| 8 | |||||
| Andrew Scull | 265ada9 | 2018-07-30 15:19:01 +0100 | [diff] [blame] | 9 | assert( |
| 10 | !arch_aarch64_use_pl011 || arch_aarch64_pl011_base_address != "", | ||||
| 11 | "Must provide the PL011 base address as \"arch_aarch64_pl011_base_address\".") | ||||