my modification to chronos_kernel