1 /*
2  * Copyright (c) 2009 Corey Tabaka
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 #pragma once
9 
10 #include <lib/cbuf.h>
11 
12 extern cbuf_t console_input_buf;
13 
14 void platform_init_debug_early(void);
15 void platform_init_debug(void);
16 void platform_init_interrupts(void);
17 void platform_init_timer(void);
18 
19