[aidangarske]

F-157554

• Fix the scheduler halt when an allowed guest restart leaves no runnable peer.
• Idle in Secure Thread mode so SysTick can finish restart backoff.
• Keep fully faulted or stopped guest sets terminal.

[wolfSSL-Fenrir-bot]

Fenrir Automated Review — PR #78

Scan targets checked: wolftrust-src, wolftrust-bugs
Not reviewed (no scan target covers them): docs/Architecture.md, docs/Security-Model.md, docs/Testing.md, tests/host/Makefile, tests/host/monitor/Makefile, tests/target/lib/scenario_matrix.py, tests/target/run_m33mu_scenario.sh
Coverage: 2 of 4 in-scope changed file(s) opened by the reviewer; not opened: include/wolftrust/arch.h, tests/host/monitor/main.c

Findings: 1
1 finding(s) posted as inline comments (see file-level comments below)

This review was generated automatically by Fenrir. Reported findings require changes before merge.

Review tier: Lite

[wolfSSL-Fenrir-bot]

Fenrir Automated Review — PR #78

Scan targets checked: wolftrust-src, wolftrust-bugs
Not reviewed (no scan target covers them): docs/Architecture.md, docs/Security-Model.md, docs/Testing.md, tests/firmware/systick-idle/test.ld, tests/host/Makefile, tests/host/monitor/Makefile, tests/target/lib/scenario_matrix.py, tests/target/run_m33mu_scenario.sh, tests/target/test_systick_idle.sh
Coverage: 1 of 2 in-scope changed file(s) opened by the reviewer; not opened: tests/firmware/systick-idle/main.c

Fenrir result: Approved ✅

No new issues found in the changed files.

Advisory only — this automated result does not count as a GitHub approval.

Review tier: Lite

Fenrir's latest completed scan found no issues; clearing the prior automated change request.