#include "hardware_init.h" void hardware_init() { }