kernel repo name