add kernel code / more stubs