Merge pull request #538 from antmicro/fix_libbase

libbase: Include missing uart header
This commit is contained in:
enjoy-digital 2020-05-22 12:28:00 +02:00 committed by GitHub
commit 7d09ea19ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -6,6 +6,8 @@ void isr(void);
#ifdef __or1k__ #ifdef __or1k__
#include <base/uart.h>
#define EXTERNAL_IRQ 0x8 #define EXTERNAL_IRQ 0x8
static void emerg_printf(const char *fmt, ...) static void emerg_printf(const char *fmt, ...)