void kputc(char s)
void kputc(char s)
kputs
babby's first printf
printf in uart.h
int printf
0x for kprintf