search

seL4 / microkit

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

Add error checking for write-only memory region mappings #33

Closed Ivan-Velickovic closed 1 year ago

Ivan-Velickovic commented 1 year ago

On all architectures that seL4 currently supports, write-only mappings are not allowed. It is preferable to catch these at build-time rather than having an error at run-time.

bennoleslie commented 1 year ago

LGTM.