void check_kernel(void);