twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
66 stars 13 forks source link

Implement generic IPIs and tests. #101

Closed dbittman closed 1 year ago

dbittman commented 1 year ago

Implements a simple IPI mechanism that runs a closure on some set of CPUs. The interface allows for selecting which sets of CPUs to run on, like normal interrupt routing.

PandaZ3D commented 1 year ago

As far as generics go, it looks good. No obvious conflicts from the ARM side of things.