repo tool manifest for CoreOS sdk