mirror of https://gitlab.redox-os.org/redox-os/redox.git synced 2026-06-19 19:34:18 +08:00

Redox: A Rust Operating System

Go to file

Jeremy Soller a7065f4a90 Update pkgutils		2017-07-29 08:26:40 -06:00
.cargo	Move xargo home to xargo, use cross compiler	2017-06-19 19:48:35 -06:00
libc-artifacts@c67b055af9	Go back to using gcc.sh from libc-artifacts	2017-06-19 16:28:42 -06:00
pkgutils@baf57e811c	Update pkgutils	2017-07-29 08:26:40 -06:00
recipes	Add recipe for diffutils	2017-07-25 14:50:06 -07:00
.gitignore	Add sysroot to .gitignore	2017-07-06 14:28:06 -07:00
.gitmodules	Go back to using gcc.sh from libc-artifacts	2017-06-19 16:28:42 -06:00
.travis.yml	Move ci script	2016-12-29 20:44:45 -07:00
clean.sh	Move xargo home to xargo, use cross compiler	2017-06-19 19:48:35 -06:00
config.sh	The cookbook scripts assume they have GNU utilities	2017-07-13 22:03:04 +01:00
cook.sh	Update source, not build, as Cargo.lock is now committed	2017-07-26 08:20:15 -06:00
fetch.sh	Fix -e	2017-06-04 19:13:57 -06:00
LICENSE	Initial commit	2016-10-31 11:19:57 -06:00
README.md	Update README.md	2017-06-20 16:27:41 -06:00
repo.sh	Update source, not build, as Cargo.lock is now committed	2017-07-26 08:20:15 -06:00
setup.sh	Go back to using gcc.sh from libc-artifacts	2017-06-19 16:28:42 -06:00
status.sh	Make it possible to compare with source tarball	2017-07-22 13:39:29 -06:00
update.sh	Check for source, not build, when updating	2017-07-26 20:35:07 -06:00
Xargo.toml	Revert "Add test to sysroot"	2017-06-25 20:17:02 -06:00

README.md

cookbook

A collection of package recipes for Redox.

Setup

Ubuntu and other Debian based systems

To install the toolchain, run the following commands:

# Get the Redox OS APT key
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F

# Install the APT repository
sudo add-apt-repository 'deb https://static.redox-os.org/toolchain/apt /'

# Update your package lists
sudo apt update

# Install the cross compiler
sudo apt install x86-64-elf-redox-gcc