We've worked around the reboot problem for VMs using DHCP, and VMs using
[wiki.git] / history /
drwxr-xr-x   ..
-rw-r--r-- 521816 The Student Information Processing Board.pdf