K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2011-10-01T05:56:25.783771Z
K 7
svn:log
V 109
Disable using wait in cpu_idle() until a better solution to timer and
interrupt handling can be implemented.

END