#ifndef _BOARD_H
#define _BOARD_H

extern const char *target_board;

void board_init(int with_irq);

#endif /* _BOARD_H */