experiments with generating kernel source code