twizzler-operating-system / twizzler

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

Implement TLB coherence #32

Closed dbittman closed 7 months ago

dbittman commented 2 years ago

The kernel currently does not implement TLB coherence, as it's still in its infancy. But we need to get this going quick.

dbittman commented 1 year ago

PR #107 makes progress here, leaving the optimization steps for a separate PR.

dbittman commented 1 year ago

PR #150 makes more progress, finally hooking up the TLB coherence mechanism.

dbittman commented 7 months ago

Further enhancements in #151