Use franco for kernel