OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	11/17/2022 06:42:18 AM	rwxr-xr-x
📄 config2frag.sh	1.01 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 configNR_CPUS.sh	1.3 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 config_override.sh	1.42 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 configcheck.sh	1.55 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 configinit.sh	2.4 KB	11/01/2022 04:52:05 PM	rwxr-xr-x
📄 cpus2use.sh	1.25 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 functions.sh	6.43 KB	01/28/2018 09:20:33 PM	rw-r--r--
📄 jitter.sh	2.44 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-build.sh	1.9 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-recheck-lock.sh	1.46 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-recheck-rcu.sh	2.14 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-recheck-rcuperf-ftrace.sh	3.25 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-recheck-rcuperf.sh	2.56 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-recheck.sh	2.19 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm-test-1-run.sh	8.53 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 kvm.sh	12.78 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 parse-build.sh	1.55 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 parse-console.sh	2.52 KB	01/28/2018 09:20:33 PM	rwxr-xr-x
📄 parse-torture.sh	2.57 KB	01/28/2018 09:20:33 PM	rwxr-xr-x

Editing: config_override.sh

#!/bin/bash
#
# config_override.sh base override
#
# Combines base and override, removing any Kconfig options from base
# that conflict with any in override, concatenating what remains and
# sending the result to standard output.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, you can access it online at
# http://www.gnu.org/licenses/gpl-2.0.html.
#
# Copyright (C) IBM Corporation, 2017
#
# Authors: Paul E. McKenney <paulmck@linux.vnet.ibm.com>

base=$1
if test -r $base
then
	:
else
	echo Base file $base unreadable!!!
	exit 1
fi

override=$2
if test -r $override
then
	:
else
	echo Override file $override unreadable!!!
	exit 1
fi

T=${TMPDIR-/tmp}/config_override.sh.$$
trap 'rm -rf $T' 0
mkdir $T

sed < $override -e 's/^/grep -v "/' -e 's/=.*$/="/' |
	awk '
	{
		if (last)
			print last " |";
		last = $0;
	}
	END {
		if (last)
			print last;
	}' > $T/script
sh $T/script < $base
cat $override