#include extern "C" { extern void register_platform_drivers() { /* Placeholder */ } }