search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4test,aarch64,smc: Add smc initial cap field #77

Closed kent-mcleod closed 7 months ago

kent-mcleod commented 10 months ago

Add an initial smc cap to the test environment struct so that tests can use it.

Furao commented 10 months ago

This is a duplicate of https://github.com/seL4/seL4_libs/pull/72