#!/bin/sh
# DF-3222 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
inside vkernel: /bin/vkmount2 /hostroot   (mount(2) with data=(void*)0x1000)