# 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 = [] | |
} |