Merge branch 'devel'

[palacios.git] / kitten / include / lwk / console.h

diff --git a/kitten/include/lwk/console.h b/kitten/include/lwk/console.h
new file mode 100644 (file)
index 0000000..085c5a0
--- /dev/null
+++ b/kitten/include/lwk/console.h
@@ -0,0 +1,25 @@
+#ifndef _LWK_CONSOLE_H
+#define _LWK_CONSOLE_H
+
+#include <lwk/list.h>
+#include <lwk/compiler.h>
+
+/** Console structure.
+ *
+ * Each console in the system is represented by one of these
+ * structures.  A console driver (e.g., VGA, Serial) fills in
+ * one of these structures and passes it to ::console_register().
+ */
+struct console {
+       char    name[64];
+       void    (*write)(struct console *, const char *);
+       void *  private_data;
+
+       struct list_head next;
+};
+
+extern void console_register(struct console *);
+extern void console_write(const char *);
+extern void console_init(void);
+
+#endif