The LiteBox userland platforms can also encounter the issues in #842 and #844, where a malicious guest can tamper with rsp right before invoking syscall. This would make LiteBox syscall handlers and switch_to_guest misbehave. Note that this doesn't hurt the userland platform's security (because it is not our TCB), but we should fix it for stability.
The LiteBox userland platforms can also encounter the issues in #842 and #844, where a malicious guest can tamper with
rspright before invokingsyscall. This would make LiteBox syscall handlers andswitch_to_guestmisbehave. Note that this doesn't hurt the userland platform's security (because it is not our TCB), but we should fix it for stability.