kernel file

Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>