kernel startup and linker script

[zos] / kernel.h

diff --git a/kernel.h b/kernel.h
new file mode 100644 (file)
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