Gravar-mail: Integration of generic operating systems in partitioned architectures