#!/bin/bash

# if XSM is not set, insert the settings, then delete the reminder

sed -i -e '/^CONFIG_DEBUG_INFO/ i CONFIG_DEBUG=y\
# CONFIG_CRASH_DEBUG is not set\
# CONFIG_GDBSX is not set\
CONFIG_FRAME_POINTER=y\
# CONFIG_DEBUG_LOCK_PROFILE is not set\
CONFIG_DEBUG_LOCKS=y\
CONFIG_PERF_COUNTERS=y\
CONFIG_PERF_ARRAYS=y\
CONFIG_VERBOSE_DEBUG=y\
CONFIG_SCRUB_DEBUG=y\
# CONFIG_UBSAN is not set\
# CONFIG_DEBUG_TRACE is not set\
# CONFIG_SELF_TESTS is not set\
CONFIG_XMEM_POOL_POISON=y\
CONFIG_DEBUG_INFO=y

/^# CONFIG_DEBUG /d' $1/.config

sed -i -e '/CONFIG_SCHED_CREDIT2=y/ a CONFIG_SCHED_RTDS=y\
CONFIG_SCHED_ARINC653=y\
CONFIG_SCHED_NULL=y' $1/.config

sed -i -e '/^# CONFIG_DEBUG_INFO/d' $1/.config

sed -i -e '/^CONFIG_XEN_ALIGN_DEFAULT=y/ i CONFIG_HVM_FEP=y' $1/.config
