franco kernel optimized with SM-toolchain