search

kmu-embedded / k-hypervisor

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

[Timer Driver] Rework on ARM Generic Timer driver #88

Closed igxactly closed 8 years ago

igxactly commented 8 years ago

Reworked the original code.