Here is the "Redox Crash Challenge": https://github.com/redox-os/redox/issues/1136 https://github.com/redox-os/redox/issues/1136 According to the Redox book,

Here is the "Redox Crash Challenge": https://github.com/redox-os/redox/issues/1136 https://github.com/redox-os/redox/issues/1136 According to the Redox book, at last count they had 70 cases of unsafe across 4500 total lines of kernel code. https://doc.redox-os.org/book/introduction/unsafes.html https://doc.redox-os.org/book/introduction/unsafes.html