17 lines
337 B
C
17 lines
337 B
C
#include "types.h"
|
|
#include "framebuffer.h"
|
|
// Frame buffer driver
|
|
|
|
// NOTE: not getting computed at compile time so we always have a call
|
|
u32 strlen(char*);
|
|
|
|
u32 write(const char*, const u32);
|
|
|
|
u32 read(const u32);
|
|
|
|
void printf(char*);
|
|
|
|
u32 memcpy(u8* src, u8* dest, const u32 size);
|
|
|
|
u32 memset(u8* buf, const u8 val, const u32 size);
|