summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rwxr-xr-xsrc/conf_mode/system_console.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/conf_mode/system_console.py b/src/conf_mode/system_console.py
index 4985b80c0..51c95fcac 100755
--- a/src/conf_mode/system_console.py
+++ b/src/conf_mode/system_console.py
@@ -68,10 +68,12 @@ def verify(console):
# If the device name still starts with usbXXX no matching tty was found
# and it can not be used as a serial interface
if not os.path.isdir(by_bus_dir) or not os.path.exists(by_bus_device):
- raise ConfigError(f'Device {device} does not support being used as tty')
+ raise ConfigError(f'Device "{device}" does not support being used as tty')
if not is_tty(device, warning=True):
Warning(f'Device "{device}" used for console is not a TTY!')
if 'kernel' in device_config:
+ if not (device.startswith('ttyS') or device.startswith('ttyAMA')):
+ raise ConfigError(f'Device "{device}" unsupported for Kernel boot console')
kernel_consoles.append(device)
if len(kernel_consoles) > 1: