A partially-complete description of the required modules has been written;
it can be found in docs/VHLD_DESIGN.