maybe rename to kernel_info.js?