HomeFreeBSD

Release secondary cores from WFI (wait for interrupt) by sending them

Description

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

Details

Provenance
brAuthored on
Parents
rS335004: Enable USB OTG serial terminal on ARM SD card images. This configures
Branches
Unknown
Tags
Unknown