add kernel_list.c