diff --git a/kernel/string.h b/kernel/string.h
new file mode 100644
index 0000000..d9a0a2b
--- /dev/null
+++ b/kernel/string.h
@@ -0,0 +1,36 @@
+/*
+Copyright (C) 2015-2019 The University of Notre Dame
+This software is distributed under the GNU General Public License.
+See the file LICENSE for details.
+*/
+
+#ifndef STRING_H
+#define STRING_H
+
+#include "kernel/types.h"
+
+void strcpy(char *d, const char *s);
+void strncpy(char *d, const char *s, unsigned length);
+int strcmp(const char *a, const char *b);
+int strncmp(const char *a, const char *b, unsigned length);
+unsigned strlen(const char *s);
+char *strcat(char *d, const char *s);
+char *uint_to_string(uint32_t u, char *str);
+char *strrev(char *s);
+
+char *strtok(char *s, const char *delim);
+char *strdup(const char *s);
+char *strndup(const char *s, unsigned length);
+void strtoupper(char *s);
+void strtolower(char *s);
+
+int str2int(const char *s, int *d);
+
+const char *strchr(const char *s, char ch);
+
+void memset(void *d, char value, unsigned length);
+void memcpy(void *d, const void *s, unsigned length);
+
+void printf(const char *s, ...);
+
+#endif