Various tools for installing VLocity Linux
See the documentation.

Some tools need initrd.img and kernels from
the isolinux directory.
