# 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/devmgr in the Zedboot image.
  zedboot_devmgr_config = []
}