// SPDX-License-Identifier: Apache-2.0 #include extern "C" { extern void register_platform_drivers() { /* Placeholder */ } }