This Week in Redox 12
By Ticki on
This is the 12th post of a series of blog posts tracking the development and progress of Redox, the Rust operating system. If you want to know more about Redox in general, visit our Github page.
This week has been dedicated to documentation, for the great points /u/rozaliev brought up. This means we have a lot new documentation initiatives.
(edited by Ticki)
If you have any questions, ideas, or are curious about Redox, we recommend joining
irc.mozilla.org, and chat with us!
What’s new in Redox?
@ticki is working on a Rust-style documentation book, The Redox Operating System. This is currently the single, most complete source of information about Redox. If you’re interested in Redox, you should definitely go check it out.
@jackpot51 has added a brand-new Discourse forum. He has also done a full redesign of the website, as you may have noticed.
@ticki has completely rewritten
libredox’s IO and process, making the Redox port of Rust’s
libredox, nearly 100% compatible with the official library.
@jackpot51 has also made some extensive changes to
fs. Now you can easily port your Rust program to Redox!
@ticki has made URLs have three different internal representations, yielding a modest improvement in performance.
@jackpot51 has ported
@ticki has improved ZFS’s error handling and the handling of SPA.
@mmstick has added basename, test, and floating point sleep to coreutils
@nounoursheureux has added
grep(currently not supporting regular expressions) to extrautils.
@jackpot51 has added Shebang (
@ticki has added
rem(reminders and countdowns),
mtxt(stream editor) to extrautils.
@ticki is working on a formal proof of the correctness of the kernel.
@lazyoxen has added
calc, a simple calculator, to extrautils.
@ticki has added raw mode support and libterm support for the terminal.
@nounoursheureux has improved the
letcommand, and added the initial implementation of shell functions.
@stratact has improved
wcby better tracking of the various counts.
@jackpot51 has redesign our temporary file system,
@ticki has made all the coreutils performing much better.
@alicemaz has written an
edclone in Rust, which runs on Redox too!
@jackpot51 has improved the ANSI terminal support.
@ticki has added extensive documentation to many primitives in the kernel.
@skylerberg and @jackpot51 has added piping and redirection to Ion.
@jackpot51 has improved the performance of OrbTK.
@jackpot51 has added an “application selector” for the launcher.
@stratact refactored scheme’s path, by migrating away from manual index-tracking of slices by using iterators/combinators which resulted in cleaner/easier to read code.
@ticki has written a tool for rendering man pages.
@jackpot51 has added file metadata to libredox. This makes
dua lot faster.
source, control variables, and
ionrcloading for Ion.
@ticki is working on a port of SDL2 to Redox.
We now got ISOs ready to download and install!
- The Glorious Book
- The Holiest Forum
- The Shiny ISOs
- Fancy GitHub organization
- Our Holy Grail of a Website
- Games, games, games.
- Writable ZFS (I’m looking at you, Ticki).
- Complete the book.
- Refine the syscall interface.
- Formal verification.
Since the list of contributors are growing too fast, we’ll now only list the new contributors. This might change in the future.
Sorted in alphabetical order.
- lundbrik 🎂
- mmstick 🎂
- reddraggone9 🎂
- steveklabnik 🎂
If I missed something, feel free to contact me (Ticki) or send a PR to Redox website.