Add keyboard interrupt for C kernel
Add keyboard interrupt for C kernel