Skip to content

Commit

Permalink
boot_cheribsd: Actually look for purecap-benchmark kernel boot message
Browse files Browse the repository at this point in the history
  • Loading branch information
@jrtc27
jrtc27 committed May 29, 2024
1 parent 3b2f362 commit e036581
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions pycheribuild/boot_cheribsd/__init__.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit e036581

Please sign in to comment.