2 files changed, 23 insertions, 0 deletions
diff --git a/purgatory/include/purgatory.h b/purgatory/include/purgatory.h
new file mode 100644
index 0000000..788ce49
--- /dev/null
+++ b/purgatory/include/purgatory.h
@@ -0,0 +1,11 @@
+#ifndef PURGATORY_H
+#define PURGATORY_H
+
+void putchar(int ch);
+void sprintf(char *buffer, const char *fmt, ...)
+	__attribute__ ((format (printf, 2, 3)));
+void printf(const char *fmt, ...) __attribute__ ((format (printf, 1, 2)));
+void setup_arch(void);
+void post_verification_setup_arch(void);
+
+#endif /* PURGATORY_H */
diff --git a/purgatory/include/string.h b/purgatory/include/string.h
new file mode 100644
index 0000000..14e172d
--- /dev/null
+++ b/purgatory/include/string.h
@@ -0,0 +1,12 @@
+#ifndef STRING_H
+#define STRING_H
+
+#include <stddef.h>
+
+size_t strnlen(const char *s, size_t max);
+void* memset(void* s, int c, size_t n);
+void* memcpy(void *dest, const void *src, size_t len);
+int memcmp(void *src1, void *src2, size_t len);
+
+
+#endif /* STRING_H */