Skip to content

Rework IPC abstractions and begin sDDF - #264

Merged
nspin merged 26 commits into
seL4:mainfrom
nspin:pr/start-sddf
Jun 22, 2025
Merged

Rework IPC abstractions and begin sDDF#264
nspin merged 26 commits into
seL4:mainfrom
nspin:pr/start-sddf

Rename sel4-ipc-types -> sddf-ipc-types

20d1794
Select commit
Loading
Failed to load commit list.