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