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: Add smc cap to test env #72

Closed Furao closed 9 months ago

Furao commented 1 year ago

This allows tests to have the initial smc cap when that support is enabled.

This is required for the new SMC test here: https://github.com/seL4/sel4test/pull/85

Furao commented 10 months ago

@kent-mcleod Can you merge this?

Furao commented 9 months ago

@lsf37 @Indanz @kent-mcleod Can anyone merge this one?