Rodosvisor - An ARINC 653 quasi-compliant hypervisor: CPU, memory and I/O virtualization.

Adriano Tavares, Adriano Didimo, T. Lobo, Paulo Cardoso, Jorge Cabral, Sergio Montenegro

Browse the full ETFA paper archive.