This Week in Redox 12

By Ticki on Friday, March 11, 2016

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)

PSA

If you have any questions, ideas, or are curious about Redox, we recommend joining #redox on 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 libstd, libredox, nearly 100% compatible with the official library.
@jackpot51 has also made some extensive changes to path and 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 ed to Redox.
@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 (#!) support.
@ticki has added cksum (DJB2 checksums), cur (simple pager), 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 let command, and added the initial implementation of shell functions.
@stratact has improved wc by better tracking of the various counts.
@jackpot51 has redesign our temporary file system, redoxfs.
@ticki has made all the coreutils performing much better.
@alicemaz has written an ed clone 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 du a lot faster.
@mmstick has source, control variables, and ionrc loading for Ion.
@ticki is working on a port of SDL2 to Redox.
We now got ISOs ready to download and install!

Handy links

What’s next?

Games, games, games.
Writable ZFS (I’m looking at you, Ticki).
Complete the book.
Refine the syscall interface.
Formal verification.

New contributors

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.