debugging kernel generation