new file:   include/kernellist.h