(wip) add kernel source files