#!/bin/sh
# Makes NetBSD HAXM devices


if [ $(id -u) !=  0 ]; then echo "You need to be root" 1>&2; exit 1; fi 

echo "*** Loading HAXM kmod ***"
modload ./haxm.kmod


echo "*** Making HAX devices ***"
mknod /dev/HAX c 348 0
mkdir /dev/hax_vm
for i in `seq 0 7`; do mkdir /dev/hax_vm0$i; done
for i in `seq 0 7`; do mknod /dev/hax_vm/vm0$i c 349 $i; done

echo "*** Making VCPU Nodes ***"

i=0
while [ $i -lt 128 ]; do
        vm=$(echo "$i/16"|bc)
        vcpu=$(echo "$i%16"|bc)
        echo "i=$i vm=$vm vcpu=$vcpu"
        cmd=$(printf "mknod /dev/hax_vm%02d/vcpu%02d c 350 %d" $vm $vcpu $i)
        $cmd
        let "i+=1"
done