Add the two new dev servers to xvm-devconfig.
drwxr-xr-x - debian
-rw-r--r-- 1090 k5login
-rw-r--r-- 2036 master.yaml
drwxr-xr-x - sysvms