search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

Make tool binary world-accessible #118

Closed nspin closed 2 months ago

nspin commented 2 months ago

PyOxidizer creates a binary with 0o770 permissions.