#!/bin/sh
# DF-5652 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
cd /root/elcrx && sh run.sh      (E0/E1/E2 phases; then dmesg tail) ; sh run_boom.sh LAST (assert panic, INVARIANTS kernel) ; vm.sh reset with-src