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