components/modules/fdt-bind-driver/camkes-include/camkes-fdt-bind-driver.h

/*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#define fdt_bind_drivers_interfaces(default_bind_paths) \
    emits Dummy fdt_bind_drivers_1;       \
    consumes Dummy fdt_bind_drivers_2; \
    attribute string fdt_bind_driver_paths[] = default_bind_paths


#define fdt_bind_driver_connections() \
    connection seL4InitHardware bind_driver_conn(from fdt_bind_drivers_1, to fdt_bind_drivers_2)


#define fdt_bind_driver_configuration_override(instance, bind_paths) \
    instance.fdt_bind_driver_paths = bind_paths