10 lines
207 B
C
10 lines
207 B
C
#include "types.h"
|
|
#include "framebuffer.h"
|
|
// Frame buffer driver
|
|
|
|
u64 strlen(char*);
|
|
u64 write(const char*, const u64);
|
|
u64 read(const u64);
|
|
static void __printf_percent(const char c);
|
|
void printf(char*);
|