search

seL4 / seL4_libs

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

Delete/move branch df-public #85

Open axel-h opened 8 months ago

axel-h commented 8 months ago

It seems the commit from the branch df-public (https://github.com/seL4/seL4_libs/tree/df-public) has been merged at 7501c848, so the branch should be moved there or deleted.