// SPDX-License-Identifier: Apache-2.0 #include #include extern "C" { const DeviceType I8080_CONTROLLER_TYPE { .name = "i8080-controller" }; }