#!/bin/sh
# DF-3218 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh /tmp/vkpoc2.sh  (pack: run.sh) — boots vkernel, mounts dirfs from /dirfs-host, swaps it to a dangling symlink, then: ls /hostroot