#ifndef KMEMORY_H
#define KMEMORY_H

#include <stdint.h>
#include <stddef.h>

void memcpy(const void* src, void* dst, size_t sz);
void memset(const uint8_t* dst, uint8_t val, size_t sz);

int strcmp(const char *s1, const char *s2);
int strlen(const char* str);

void kgrow(size_t pages);
void* alloc(size_t sz);


#endif