Skip to content

Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis#217

Merged
Ivan-Velickovic merged 4 commits intoseL4:mainfrom midnightveil:channel-extensionsOct 23, 2024
+402-206

Commits

Commits on Oct 23, 2024