search

seL4 / capdl

Capability Distribution Language tools for seL4
https://sel4.systems
34 stars 46 forks source link

SMC Capability #33

Closed Furao closed 1 year ago

Furao commented 2 years ago

Add a new capability which certain threads can invoke so seL4 can make SMC calls on ARM platforms in EL2 (virtualized mode) on the thread’s behalf.

See https://sel4.atlassian.net/browse/RFC-9

kent-mcleod commented 1 year ago

@Furao are you able to rebase this, it doesn't seem to allow rebasing through the webui.