void board_init() { puts("RIOT native board initialized."); }