Quick hack to base kernel generator