The following contains the syntax of the domain configuration files and description of how to further specify networking, driver domain and general scheduling behavior.