1 files changed, 11 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 */