1 2 3 4 5 6 7 8 9
#include <stdint.h> #include <stdio.h> #include <string.h> void puts(char *data) { for (u32 i = 0; i < strlen(data); i++) putch(data[i]); }