K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2017-09-02T19:20:11.137731Z
K 7
svn:log
V 324
The latest RPi firmware leaves secondary cores in a wait-for-event (WFE)
state to save power, so after writing the entry point address for a core to
the mailbox, use a dsb() to synchronize the execution pipeline to the data
written, then use an sev() to wake up the core.

Submitted by:	Sylvain Garrigues <sylgar@gmail.com>

END