use franco kernel