Logical Domains 1.2 Reference Manual