Trusted Virtual Domains - Design, Implementation and Lessons Learned