#ifndef __GILBRALTAR_BOARD__
#define __GILBRALTAR_BOARD__

#include <stdint.h>

uint32_t gilbraltar_get_board(void);

#endif