From 42b28bcf2389121e36d504e1d822dfbb90b5a9f1 Mon Sep 17 00:00:00 2001 From: Andrea Righi Date: Mon, 7 Nov 2022 13:01:44 +0100 Subject: [PATCH] virtme-configkernel: introduce option --custom FILE Introduce an option to specify a custom .config snippet file to override the default settings used by virtme-configkernel. Signed-off-by: Andrea Righi --- virtme/commands/configkernel.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/virtme/commands/configkernel.py b/virtme/commands/configkernel.py index 34087e8..1b244e4 100644 --- a/virtme/commands/configkernel.py +++ b/virtme/commands/configkernel.py @@ -26,6 +26,9 @@ def make_parser(): default=uname.machine, help='Target architecture') + parser.add_argument('--custom', action='store', metavar='CUSTOM', + help='Use a custom config snippet file to override specific config options') + g = parser.add_argument_group(title='Mode').add_mutually_exclusive_group() g.add_argument('--allnoconfig', action='store_true', @@ -100,9 +103,15 @@ def main(): arch = architectures.get(args.arch) + custom_conf = [] + if args.custom: + with open(args.custom) as fd: + custom_conf = list(fd.readlines()) + conf = (_GENERIC_CONFIG + ['# Arch-specific options'] + - arch.config_base()) + arch.config_base() + + custom_conf) archargs = ['ARCH=%s' % shlex.quote(arch.linuxname)]