Check Kernel Config Script for CRIU

check-config-for-criu.sh

#!/bin/bash

: ${CONFIG:=/boot/config-$(uname -r)}

CONFIG_LIST="CONFIG_EXPERT=y
CONFIG_EMBEDDED=y
CONFIG_CHECKPOINT_RESTORE=y
CONFIG_NAMESPACES=y
CONFIG_UTS_NS=y
CONFIG_IPC_NS=y
CONFIG_PID_NS=y
CONFIG_NET_NS=y
CONFIG_FHANDLE=y
CONFIG_EVENTFD=y
CONFIG_EPOLL=y
CONFIG_UNIX_DIAG=y
CONFIG_INET_DIAG=y
CONFIG_INET_UDP_DIAG=y
CONFIG_PACKET_DIAG=y
CONFIG_NETLINK_DIAG=y
CONFIG_INOTIFY_USER=y
CONFIG_IA32_EMULATION=y
CONFIG_MEM_SOFT_DIRTY=y"

for i in ${CONFIG_LIST[@]} ; do
    if grep ${i} ${CONFIG} >/dev/null; then
        echo "OK:" ${i}
    else
        echo "NG:" ${i}
    fi
done