the kernel code of JFB