starting to work on debugging kernels