Upcall support - Githubissues

twizzler-operating-system / twizzler

The Twizzler Operating System

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

75 stars 16 forks source link

Upcall support #29

Closed dbittman closed 7 months ago

dbittman commented 2 years ago

Implement functionality for the kernel to inform a userspace thread that "something happened" via an upcall. This design can be similar to C twizzler.

[x] Mechanism to jump thread execution
[x] Upcall ABI and API
[x] Killing threads
[x] Forward CPU exceptions to upcall mechanism (or kill thread)

Requires #27 to be done.