Exynos Halla Hypervisor

Halla is a type-1 hypervisor designed for Exynos proprietary ARM-based SoC.

By trapping high-level exceptions and isolated memory access segment from various OS, the Halla hypervisor increases the security of the system, and prevents possible attacks from compromised guest OS.

Current Features

• Implement Halla hypervisor
• Implement Halla’s irqchip
• Create config and feature for Halla
• Probe proper hypervisor backend with naive logic
• Inject virtual interrupts
• Bootup guest VM with linux kernel to shell
• Support multi-core VM

Backlogs

• Integrate with protected VM and pvmfw