mako: exp branch for kernel