Merge branch 'add-dev-redox' into 'master'

Add dev-redox filesystem configuration

See merge request redox-os/redox!1617

config/aarch64/dev-redox.toml

@@ -0,0 +1,20 @@
+# Configuration for Redox development
+
+include = ["../dev-redox.toml"]
+
+# Override the default settings here
+
+# General settings
+[general]
+# Filesystem size in MiB
+# filesystem_size = 1024
+
+# Package settings
+[packages]
+# see ci.toml for error reasons
+gdbserver = "ignore"
+gnu-binutils = "ignore"
+mesa = "ignore"
+mesa-glu = "ignore"
+mpc = "ignore"
+strace = "ignore"

config/dev-redox.toml

@@ -0,0 +1,56 @@
+# Configuration for Redox development
+
+include = ["desktop.toml"]
+
+# General settings
+[general]
+# Filesystem size in MiB
+filesystem_size = 20000
+# Do not prompt if settings are not defined
+prompt = false
+
+# Package settings
+[packages]
+dev-essential = {}
+redox-tests = {}
+
+[[files]]
+path = "/home/user/test.rs"
+data = """
+fn main() {
+    println!("Hello, Redox!");
+}
+"""
+
+[[files]]
+path = "/home/user/test.c"
+data = """
+#include <stdio.h>
+
+int main(void) {
+	printf("Hello, Redox!\\n");
+}
+"""
+
+[[files]]
+path = "/home/user/test.cpp"
+data = """
+#include <iostream>
+
+int main()
+{
+   std::cout << "Hello, Redox!" << std::endl;
+}
+"""
+
+[[files]]
+path = "/home/user/test.py"
+data = """
+print("Hello, Redox!")
+"""
+
+[[files]]
+path = "/home/user/test.lua"
+data = """
+print("Hello, Redox!")
+"""

config/i686/dev-redox.toml

@@ -0,0 +1,14 @@
+# Configuration for Redox development
+
+include = ["../dev-redox.toml"]
+
+# Override the default settings here
+
+# General settings
+[general]
+# Filesystem size in MiB
+# filesystem_size = 1024
+
+# Package settings
+[packages]
+# example = {}

config/x86_64/dev-redox.toml

@@ -0,0 +1,14 @@
+# Configuration for Redox development
+
+include = ["../dev-redox.toml"]
+
+# Override the default settings here
+
+# General settings
+[general]
+# Filesystem size in MiB
+# filesystem_size = 1024
+
+# Package settings
+[packages]
+# example = {}