From 7783dcdf0c7f2905f86404b01cb67a03590bb540 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Mon, 1 Jul 2024 09:45:54 +0000
Subject: [PATCH] Release 13.0.0-dev: Updating default.xml

Change-Id: I72effe9131d24bcc62777b4e9257b057f85d8d17