Minimal device system, implement terminal device and libterminal

libterminal/terminal/terminal.c

@@ -0,0 +1,8 @@
+#include <stddef.h>
+#include <terminal/device.h>
+#include <terminal/terminal.h>
+#include <m/system.h>
+
+void terminal_print (const char* string, size_t len) {
+  device_do (TERMINAL_DEVICE, TERMINAL_PUTSTR, (void*)string, &len, NULL, NULL);
+}