// SPDX-License-Identifier: Apache-2.0 #include #include extern "C" { extern Driver hal_device_driver; static Driver* const hal_device_drivers[] = { &hal_device_driver, nullptr }; Module hal_device_module = { .name = "hal-device", .drivers = hal_device_drivers }; }