CAF kernel for falcon