From e03658177da58c1e25fec6efcf64d17afd602c49 Mon Sep 17 00:00:00 2001
From: Jessica Clarke <jrtc27@jrtc27.com>
Date: Wed, 29 May 2024 08:09:35 +0100
Subject: [PATCH] boot_cheribsd: Actually look for purecap-benchmark kernel
 boot message

---
 pycheribuild/boot_cheribsd/__init__.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pycheribuild/boot_cheribsd/__init__.py b/pycheribuild/boot_cheribsd/__init__.py
index 289f5ffa5..e66a34310 100755
--- a/pycheribuild/boot_cheribsd/__init__.py
+++ b/pycheribuild/boot_cheribsd/__init__.py
@@ -1019,6 +1019,7 @@ def boot_and_login(
             STARTING_INIT,
             CHERI_HYBRID_KERNEL_MSG,
             CHERI_PURECAP_KERNEL_MSG,
+            CHERI_PURECAP_BENCHMARK_KERNEL_MSG,
             BOOT_FAILURE,
             BOOT_FAILURE2,
             BOOT_FAILURE3,