/ISD2/configs/kernel_def_config