the bitrig patrick_hyp branch has been created by patrick. it is 0 commits behind master, and 2 commits ahead.
commit e073f0ae5756063338a05ce03e362ccfa544a97b diff: https://github.com/bitrig/bitrig/commit/e073f0a author: Patrick Wildt <[email protected]> date: Fri Oct 24 16:04:31 2014 +0200 arm: take care of hypervisor mode A sys/arch/arm/armv7/hypervisor.S M sys/arch/arm/include/armreg.h M sys/arch/armv7/armv7/armv7_start.S M sys/arch/armv7/conf/Makefile.armv7 commit ba84fea01ed7567a5b12d36a339c8ec0d9c1416d diff: https://github.com/bitrig/bitrig/commit/ba84fea author: Patrick Wildt <[email protected]> date: Fri Jan 23 13:59:46 2015 +0100 arm: the virtual timers are always available When available, the physical timer is a better solution. For that we need to know that we have been booted in the hypervisor mode. So far we should be fine using the virtual timer only. Revisit this for e.g. RK3288. M sys/arch/arm/cortex/agtimer.c
