#!/bin/sh
# DF-5171 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh (boots vkernel64 -m 256M -r root.img -c hammer.img -e init_path=/poc)