* the COPYING file in the top-level directory.
*/
+#include <jailhouse/entry.h>
#include <jailhouse/printk.h>
#include <jailhouse/processor.h>
#include <asm/debug.h>
void arch_dbg_write_init(void)
{
/* FIXME: parse a device tree */
- uart.baudrate = 115200;
- uart.fifo_enabled = true;
- uart.virt_base = UART_BASE_VIRT;
+ uart.virt_base = hypervisor_header.debug_console_base;
uart_chip_init(&uart);
}
void arch_dbg_write(const char *msg)
{
- char c;
+ char c = 0;
while (1) {
- c = *msg++;
+ if (c == '\n')
+ c = '\r';
+ else
+ c = *msg++;
if (!c)
break;