This User Guide covers the Virgo Server for Apache Tomcat, the Virgo Jetty Server and the Virgo Kernel, although it emphasises the Virgo Server for Apache Tomcat since that is likely
to apply to more users.
1.1 A Note for Virgo Kernel Users
Virgo Kernel users can be reassured that the majority of the information
in this Guide is directly applicable to the Virgo Kernel and they can simply ignore the web-related sections.