2016-11-08 17:55:27 +01:00
|
|
|
/*
|
|
|
|
* Copyright(C) 2016,2017, Imagination Technologies Limited and/or its
|
|
|
|
* affiliated group companies.
|
|
|
|
*
|
|
|
|
* This file is subject to the terms and conditions of the GNU Lesser
|
|
|
|
* General Public License v2.1. See the file LICENSE in the top level
|
|
|
|
* directory for more details.
|
|
|
|
*
|
|
|
|
*/
|
2019-11-21 11:18:48 +01:00
|
|
|
|
2016-11-08 17:55:27 +01:00
|
|
|
#include "board.h"
|
2019-11-21 11:18:48 +01:00
|
|
|
#include "periph/gpio.h"
|
2016-11-08 17:55:27 +01:00
|
|
|
|
|
|
|
extern void dummy(void);
|
|
|
|
|
|
|
|
void board_init(void)
|
|
|
|
{
|
|
|
|
/* Stop the linker from throwing away the PIC32 config register settings */
|
|
|
|
dummy();
|
|
|
|
}
|