K 10
svn:author
V 2
br
K 8
svn:date
V 27
2018-06-12T16:47:33.682541Z
K 7
svn:log
V 307
Release secondary cores from WFI (wait for interrupt) by sending them
an IPI.

This does not work however yet in QEMU. As a temporary workaround set
software interrupt pending bit manually on a local core to ensure WFI
doesn't halt the hart.

This is required to smpboot in QEMU.

Sponsored by:	DARPA, AFRL

END