- // TODO implement capability list
- // for now, we just assume the parameter always pointed to valid device
+ if (!device_get_capability(dev, TERMIOS_CAP)) {
+ FATAL("not a terminal device: %s", console_dev);
+ }
+
+ INFO("system console: %s", console_dev);
+