tychon 58699bc5fc Move the atpit device model from userspace into vmm.ko for better ...

precision and lower latency.

Approved by:	grehan (co-mentor)

2014-03-25 19:20:34 +00:00

..

Makefile

Move the atpit device model from userspace into vmm.ko for better

2014-03-25 19:20:34 +00:00