Add mako kernel repo