getters for kernel source code and entry points.