1 // Copyright (c) 2020 Brian Swetland
2 //
3 // Use of this source code is governed by a MIT-style
4 // license that can be found in the LICENSE file or at
5 // https://opensource.org/licenses/MIT
6 
7 #include <target.h>
8 #include <target/debugconfig.h>
9 #include <platform/gpio.h>
10 
target_early_init(void)11 void target_early_init(void) {
12 }
13 
target_set_debug_led(unsigned int led,bool on)14 void target_set_debug_led(unsigned int led, bool on) {
15 }
16 
target_init(void)17 void target_init(void) {
18 }
19 
20