#ifndef KERNEL_STRING
#define KERNEL_STRING

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

size_t strlen(const char *str);

#endif /* KERNEL_STRING */