/* flashimg/cpu_hdmi/main.c - Entry point for the HDMI-decoder co-processor
 *
 * Copyright (C) 2025  Luke T. Shumaker <lukeshu@lukeshu.com>
 * SPDX-License-Identifier: AGPL-3.0-or-later
 */

#include <hardware/uart.h>

void __lm_putchar(unsigned char c) {
	if (c == '\n') {
		while (!uart_is_writable(uart0))
			tight_loop_contents();
		uart_get_hw(uart0)->dr = '\r';
	}
        while (!uart_is_writable(uart0))
            tight_loop_contents();
	uart_get_hw(uart0)->dr = c;
}

int main() {
	return 0;
}