# Copyright 2019 The Fuchsia Authors. All rights reserved.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.

declare_args() {
  # List of arguments to populate /boot/config/additional_boot_args in the Zedboot image.
  zedboot_additional_boot_args = []
}