3 ms·

I wrote on their forum about why they "shouldn't" use seL4, and definitely shouldn't port it to Rust: https://discourse.redox-os.org/t/why-not-port-sel4-microk

by cmrx64 10y ago

I wrote on their forum about why they "shouldn't" use seL4, and definitely shouldn't port it to Rust: https://discourse.redox-os.org/t/why-not-port-sel4-microkernel-instead-of-starting-from-scratch/337/5 https://discourse.redox-os.org/t/why-not-port-sel4-microkern... If the goal is trusthworthy, reliable software, then you should use seL4. If the goal is to yell about how great Rust is, you could port seL4 to Rust.

pjmlp 10y ago
Fully support your point of view. What we always see on programming languages is that when shortcuts for arriving faster at our goals are taken, usually they give ammunition to remarks of the sort "language X cannot do Y". Apparently most lack vision and need to be proven wrong. So I hope they manage to just use Rust and Assembly. EDIT: Improved the sentence