json files for kernel manager