Update docs

This commit is contained in:
Tate, Hongliang Tian
2022-08-17 15:27:13 -07:00
parent 2d7b00f9ba
commit c8d405adeb

View File

@ -25,6 +25,9 @@ Despite the incompleteness, this evolving document serves several important purp
## Opportunities ## Opportunities
> The crazy people who are crazy enough to think they can change the world,
> are the ones who do. --Steve Jobs
We believe now is the perfect time to start a new Rust OS project. We argue that We believe now is the perfect time to start a new Rust OS project. We argue that
if we are doing things right, the project can have a promising prospect to if we are doing things right, the project can have a promising prospect to
success and a real shot of challenging the dominance of Linux in the long run. success and a real shot of challenging the dominance of Linux in the long run.
@ -42,8 +45,9 @@ OSes, e.g., [Kerla](https://github.com/nuta/kerla),
[Occlum](https://github.com/occlum/occlum), [Occlum](https://github.com/occlum/occlum),
[Redox](https://github.com/redox-os/redox), [Redox](https://github.com/redox-os/redox),
[rCore](https://github.com/rcore-os/rCore), [rCore](https://github.com/rcore-os/rCore),
[RedLeaf](https://github.com/mars-research/redleaf), and [RedLeaf](https://github.com/mars-research/redleaf),
[zCore](https://github.com/rcore-os/zCore). Despite their varying degrees of [Theseus](https://github.com/theseus-os/Theseus),
and [zCore](https://github.com/rcore-os/zCore). Despite their varying degrees of
success, none of them are general-purpose, industrial-strength OSes that are or success, none of them are general-purpose, industrial-strength OSes that are or
will ever be competitive with Linux. Eventually, a winner will emerge out of this will ever be competitive with Linux. Eventually, a winner will emerge out of this
market of Rust OSes, and KxOS is our bet for this competition. market of Rust OSes, and KxOS is our bet for this competition.