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