Gravar-mail: Evaluation of hypervisors for embedded and real-time systems