Merge all libs into libu

libu/terminal.c

@@ -0,0 +1,11 @@
+#include <stddef.h>
+#include <system.h>
+#include <terminal.h>
+
+void terminal_print (const char* string, size_t len) {
+  device_do ("terminal", TERMINAL_PUTSTR, (void*)string, &len, NULL, NULL);
+}
+
+void terminal_dimensions (size_t* cols, size_t* rows) {
+  device_do ("terminal", TERMINAL_DIMENSIONS, (void*)cols, (void*)rows, NULL, NULL);
+}