From 767ea7f5b17b37dfda19ba4447853edcf6956808 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Wed, 15 Nov 2023 16:02:38 +0100
Subject: [PATCH] tool: add sd_card_zynq to autopilot.list

genodelabs/genode#5056
---
 tool/autopilot.list | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/autopilot.list b/tool/autopilot.list
index 98cbc16992..aa567eea4e 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -64,6 +64,7 @@ platform_drv
 rtc
 rump_ext2
 sd_card_bench
+sd_card_zynq
 seoul-auto
 smartcard
 smbios_decoder