readme: add NXP iMX8X to supported platforms
[barrelfish] / kernel / include / arch / k1om / kputchar.h
1 /**
2  * \file
3  * \brief A struct for all shared data between the kernels
4  */
5
6 /*
7  * Copyright (c) 2008, 2010, ETH Zurich/
8  * All rights reserved.
9  *
10  * This file is distributed under the terms in the attached LICENSE file.
11  * If you do not find this file, copies can be found by writing to:
12  * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
13  */
14
15 #include <serial.h>
16 #include <arch/x86/global.h>
17
18 #define kprintf_begin()  acquire_spinlock(&global->locks.print)
19 #define kprintf_end()    release_spinlock(&global->locks.print)
20
21
22 /* send all output to both VGA console and serial port, for now */
23 static inline int
24 kputchar(int c)
25 {
26     serial_console_putchar(c);
27     return c;
28 }