1 /*
2  * Copyright (c) 2016 Brian Swetland
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 
9 #include <target/gpioconfig.h>
10 #include <dev/gpio.h>
11 
target_early_init(void)12 void target_early_init(void) {
13     gpio_config(GPIO_LED1, GPIO_OUTPUT);
14     gpio_config(GPIO_LED2, GPIO_OUTPUT);
15     gpio_config(GPIO_LED3, GPIO_OUTPUT);
16     gpio_config(GPIO_LED4, GPIO_OUTPUT);
17     gpio_set(GPIO_LED1, 0);
18     gpio_set(GPIO_LED2, 0);
19     gpio_set(GPIO_LED3, 0);
20     gpio_set(GPIO_LED4, 0);
21 }
22 
target_init(void)23 void target_init(void) {
24 
25 }
26