search

kmu-embedded / k-hypervisor

ARM-based Hypervisor for Real-Time Embedded Systems
Other
14 stars 12 forks source link

Removed vgic.[ch] vgic_status.[ch] arch_init.c and modified #62

Closed casionwoo closed 8 years ago