+
+ struct device* tty_dev = device_add(NULL, &lx_console, "tty");
+ tty_dev->write = __tty_write;
+}
+
+int
+__tty_write(struct device* dev,
+ void* buf,
+ unsigned int offset,
+ unsigned int len)
+{
+ struct console* console = (struct console*)dev->underlay;
+ console_write(console, buf, len);