Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 1 | #ifndef _ARCH_H |
2 | #define _ARCH_H | ||||
3 | |||||
Andrew Scull | 18c78fc | 2018-08-20 12:57:41 +0100 | [diff] [blame^] | 4 | #include "hf/cpu.h" |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 5 | |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 6 | void arch_putchar(char c); |
7 | |||||
Andrew Scull | 4f170f5 | 2018-07-19 12:58:20 +0100 | [diff] [blame] | 8 | #endif /* _ARCH_H */ |