diff --git a/tools/restore.py b/tools/restore.py
index 0ce6df9f7..01a2a5651 100644
--- a/tools/restore.py
+++ b/tools/restore.py
@@ -657,6 +657,7 @@ def main():
             # now try to download all the artifacts and check their versions
             # this list should visit kernels in order from newest to oldest.
             URL_LIST = [
+                'https://ci.betrusted.io/releases/v0.9.13/',
                 'https://ci.betrusted.io/releases/v0.9.12/',
                 'https://ci.betrusted.io/releases/v0.9.11/',
                 'https://ci.betrusted.io/releases/v0.9.10/',