Tracking Issue for AArch64 SMP support - Githubissues

twizzler-operating-system / twizzler

The Twizzler Operating System

BSD 3-Clause "New" or "Revised" License

68 stars 15 forks source link

Tracking Issue for AArch64 SMP support #152

Open PandaZ3D opened 11 months ago

PandaZ3D commented 11 months ago

This is a tracking issue for making the ARM64 version of the kernel SMP aware.

Steps/History

[x] Enumerate processors
- https://github.com/twizzler-operating-system/twizzler/pull/143
[x] Start secondary processors
- https://github.com/twizzler-operating-system/twizzler/pull/169
[ ] SMP locks for scheduling
[ ] SGI (IPI) support
- https://github.com/twizzler-operating-system/twizzler/pull/182
[ ] TLB shootdown