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)
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 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.
@jackpot51 has added Shebang (
@ticki is working on a formal proof of the correctness of the kernel.
@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.
@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.
@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.