Switch to franco.Kernel