current synopsis kernel repo