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