#pragma once #include <stddef.h> void uart_init(int raspi); void uart_putc(unsigned char c); unsigned char uart_getc(); void uart_write(const void* buffer, size_t length); void uart_print(const char* string);