Pre-release versions of Integrity Virtual Machines and the Integrity Virtual Machines management GUI were used in the examples shown in this book.