diff --git a/misc/config_tools/schema/config.xsd b/misc/config_tools/schema/config.xsd index 8260dbeb0..b99198982 100644 --- a/misc/config_tools/schema/config.xsd +++ b/misc/config_tools/schema/config.xsd @@ -23,9 +23,9 @@ These settings can only be changed at build time. - + + acrn:options="//ttys/serial[type != '0']/dev_path/text(), 'None' "> Select the host serial device used for hypervisor debugging. diff --git a/misc/config_tools/schema/types.xsd b/misc/config_tools/schema/types.xsd index 1be4f8ef3..a637654dc 100644 --- a/misc/config_tools/schema/types.xsd +++ b/misc/config_tools/schema/types.xsd @@ -172,17 +172,10 @@ Read more about the available scheduling options in :ref:`cpu_sharing`. - + - - - Either empty or a string, such as ``/dev/ttyS0``. - - - - A string of up to 15 letters, digits, ``_``, or ``-``. diff --git a/misc/config_tools/static_allocators/lib/lib.py b/misc/config_tools/static_allocators/lib/lib.py index cc12f342f..d7baf8e4f 100644 --- a/misc/config_tools/static_allocators/lib/lib.py +++ b/misc/config_tools/static_allocators/lib/lib.py @@ -53,15 +53,16 @@ class BusDevFunc(namedtuple( def parse_hv_console(scenario_etree): """ - There may be 3 types in the console item + There may be 4 types in the console item 1. BDF:(00:18.2) seri:/dev/ttyS2 2. /dev/ttyS2 3. ttyS2 + 4. "None" """ ttys_n = '' ttys = common.get_node("//SERIAL_CONSOLE/text()", scenario_etree) - if not ttys or ttys == None: + if not ttys or ttys == None or ttys == 'None': return ttys_n if ttys and 'BDF' in ttys or '/dev' in ttys: