Title: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems