Lines Matching +full:- +full:- +full:no +full:- +full:verbose

5 # SPDX-License-Identifier: Apache-2.0
13 which is a link of the Zephyr kernel without various build-time
22 - Memory addresses of the Main and Double Fault TSS structures
24 - Memory addresses of where the GDT lives in memory, so that this
26 - whether userspace or HW stack protection are enabled in Kconfig
29 configuration. With no memory protection features enabled,
30 we generate flat 32-bit code and data segments. If hardware-
32 we additionally create descriptors for the main and double-
34 double-fault handling. If userspace is enabled, we also create
55     """Display debug message if --verbose"""
56     if args.verbose:
80     size = size - 1
110     # 32-bit protected mode
136     type_code = 0x9  # non-busy 32-bit TSS descriptor
163     parser.add_argument("-k", "--kernel", required=True,
165     parser.add_argument("-v", "--verbose", action="store_true",
167     parser.add_argument("-o", "--output-gdt", required=True,
170     if "VERBOSE" in os.environ:
171         args.verbose = 1
182     # NOTE: use-cases are extremely limited; we always have a basic flat
222             # Selector 0x20: double-fault TSS