#!/bin/sh
# DF-2407 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sysctl "kern.dfhwgo=tis 1536"; sysctl "kern.dfhwgo=tis 0 walk"; /root/tpm0 /dev/dfhtis0