Jb kernel for Golfu