#!/bin/bash

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

sed -i -e '/^# CONFIG_XSM/ i CONFIG_XSM=y\
CONFIG_XSM_FLASK=y\
CONFIG_XSM_FLASK_AVC_STATS=y\
CONFIG_XSM_FLASK_POLICY=y\
CONFIG_XSM_SILO=y\
# CONFIG_XSM_DUMMY_DEFAULT is not set\
CONFIG_XSM_FLASK_DEFAULT=y\
# CONFIG_XSM_SILO_DEFAULT is not set\
# CONFIG_LATE_HWDOM is not set
/^# CONFIG_XSM/d' $1/.config
