Reto Buerki fa26805fd7 hw_x86_64_muen: Implement paravirt timer driver ... The driver uses the timer page containing a vector and timer value to implement the start_one_shot() and value() functions. The timer value designates the absolute tick count of the next event. The address of the time page is acquired using the get_memregion_info Sinfo API function.		2015-08-27 13:48:25 +02:00
..
doc	remove Versatile Express board (Fix #1611)	2015-07-07 19:48:06 +02:00
include	base: remove pager code from public API	2015-07-01 14:46:15 +02:00
lib	hw_x86_64_muen: Add initial pagetables file	2015-08-27 13:48:25 +02:00
mk	hw: skeleton for building x86_64_muen	2015-08-27 13:48:24 +02:00
run	remove Versatile Express board (Fix #1611)	2015-07-07 19:48:06 +02:00
src	hw_x86_64_muen: Implement paravirt timer driver	2015-08-27 13:48:25 +02:00