use jf kernel for now