raspi baremetal uart sample

gistfile1.txt

functions

static inline void mmio_write(uint32_t reg, uint32_t data)
static inline uint32_t mmio_read(uint32_t reg)
static inline void delay(int32_t count)
void uart_init()
void uart_putc(unsigned char c)
unsigned char uart_getc()
void uart_puts(const char* str)
void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)

main
uart_init();
uart_puts("Hello, kernel World!\r\n");