improvements to the kernel interface
7 files changed