vex_kernel_checker
