twizzler-operating-system / twizzler

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

Enhance upcall mechanism (part 1) #162

Closed dbittman closed 7 months ago

dbittman commented 7 months ago

This PR, to some extent, completes a minimum of upcall support for Twizzler.

Currently, pre-upcall frames need to be restored by the kernel when the upcall returns (a syscall). In the future, user interrupt return instructions might make it possible to avoid a syscall here.

This PR:

Future PR:

dbittman commented 7 months ago

For @PandaZ3D : this touches some deep stuff in x86 -- it won't mess up with aarch64, I hope?