K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-06-20T11:13:10.337457Z
K 7
svn:log
V 195
Move the SYSINIT to allow userspace access to the ARM generic timer later
in the boot. It doesn't need to be early, so move it to the SI_ORDER_ANY
stage of SI_SUB_SMP.

Sponsored by:	DARPA, AFRL

END