Sync/include/kernel/utils.h

#include <stddef.h>

/* A temporary file, to get the system compiling. */

size_t strlen(const char*);