K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-05-23T22:28:59.101425Z
K 7
svn:log
V 246
Use the wait-for-event instruction to put the core we have just enabled
to sleep while it waits to start scheduling. The boot core can then use
the send-event instruction to wake the cores when they should enter the
scheduler.

MFC after:	1 week

END