search

hermit-os / kernel

A Rust-based, lightweight unikernel.
http://hermit-os.org
Apache License 2.0
1.17k stars 86 forks source link

Write protection for code section #275

Open jounathaen opened 3 years ago

jounathaen commented 3 years ago

eduOS-remaster does set the write protect bit for all code pages whilst building the pagetables. This would increase the resillience for the project and help out-of-bound accesses.

lrapp-x41-pub commented 2 years ago

For a more detailed description and proof of concept code showing the code segment is writable see https://github.com/hermitcore/libhermit-rs/issues/339.