RFC-9: new capability for seL4 SMC Forwarding on Arm
10 Nov
2021
10 Nov
'21
8:52 a.m.
I’d like to solicit discussion on the new RFC on forwarding Secure Monitor Calls on Arm: https://sel4.atlassian.net/browse/RFC-9 Relevant Arm documentation (SMC calling conventions): https://developer.arm.com/documentation/den0028/latest?_ga=2.116565828.39037... Any opinions, concerns, alternative designs? Cheers, Gerwin
1593
Age (days ago)
1597
Last active (days ago)
4 comments
2 participants
participants (2)
-
Gerwin Klein -
Jorge Pereira