#!/bin/sh

sudo /usr/bin/opcontrol --shutdown 1>/dev/null 2>&1
sudo /usr/bin/opcontrol --reset
# --no-vmlinux
sudo /usr/bin/opcontrol --setup --no-vmlinux
sudo /usr/bin/opcontrol --start
$@
sudo /usr/bin/opcontrol --shutdown