K 10
svn:author
V 6
tychon
K 8
svn:date
V 27
2014-03-25T19:20:34.019553Z
K 7
svn:log
V 128
Move the atpit device model from userspace into vmm.ko for better
precision and lower latency.

Approved by:	grehan (co-mentor)

END