X-Git-Url: https://pd.if.org/git/?p=zos;a=blobdiff_plain;f=kernel.h;fp=kernel.h;h=825f2d59dfe28476da73d38c0e41cc1984e59ad4;hp=0000000000000000000000000000000000000000;hb=ad37ae9264a7390aa6bbff5080ea3310f200c4d7;hpb=2591ad735d1b1c87facd251239141158f273b48c

diff --git a/kernel.h b/kernel.h
new file mode 100644
index 0000000..825f2d5
--- /dev/null
+++ b/kernel.h
@@ -0,0 +1,20 @@
+#ifndef KERNEL_H_
+#define KERNEL_H_
+
+#include <stdint.h>
+#include <stdarg.h>
+#include <stddef.h>
+
+void terminal_putchar(int ch);
+int printk(const char *fmt, ...);
+void klog(int level, const char *fmt, ...);
+void panic(const char *fmt, ...);
+int printkv(const char *fmt, va_list ap);
+
+void *memmove(void *s1, const void *s2, size_t n);
+
+/* in bootz.s */
+void halt(); /* this will return after a ret, waitforinterrupt() might be better */
+void allstop();
+
+#endif