vinzenz/redox
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Merge branch 'config_include' into 'master'

Browse source 
Use the new config include functionality for creating the base system files

See merge request redox-os/redox!1398
This commit is contained in:
Jeremy Soller 2024-01-04 15:24:17 +00:00
parent 548d7a8775 d130e9f73c
commit 18d968ea83
30 changed files with 114 additions and 1448 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
config/aarch64/acid.toml
View file

@ -1,5 +1,7 @@
# Configuration for using acid # Configuration for using acid
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -52,35 +54,3 @@ acid tls
acid thread acid thread
shutdown shutdown
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023

54
config/aarch64/demo.toml
View file

@ -1,5 +1,7 @@
# Default demo configuration # Default demo configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -141,55 +143,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/desktop-minimal.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -80,55 +82,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/desktop.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -141,55 +143,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/dev.toml
View file

@ -1,5 +1,7 @@
# Configuration for development, includes cargo and rustc # Configuration for development, includes cargo and rustc
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -162,55 +164,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/jeremy.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -137,55 +139,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/raspi3bp/server-minimal.toml
View file

@ -1,5 +1,7 @@
# Minimal configuration # Minimal configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -68,55 +70,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/resist.toml
View file

@ -1,5 +1,7 @@
# Configuration for using resist # Configuration for using resist
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -122,55 +124,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/server-minimal.toml
View file

@ -1,5 +1,7 @@
# Minimal configuration # Minimal configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -67,55 +69,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/aarch64/server.toml
View file

@ -1,5 +1,7 @@
# Default server configuration # Default server configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -132,55 +134,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

56
config/base.toml Normal file
View file

@ -0,0 +1,56 @@
# Base configuration: This configuration is meant to be included by
# other configurations rather than use directly. It is the greatest
# common divisor of all other configurations and misses several
# parts necessary to create a bootable system.
# General settings
[general]
# Do not prompt if settings are not defined
prompt = false
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory = true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

34
config/i686/acid.toml
View file

@ -1,5 +1,7 @@
# Configuration for using acid # Configuration for using acid
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -52,35 +54,3 @@ acid tls
acid thread acid thread
shutdown shutdown
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023

54
config/i686/demo.toml
View file

@ -22,6 +22,8 @@
# # # #
############################################################################## ##############################################################################
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -177,58 +179,6 @@ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true
[[files]] [[files]]
path = "/home/user/Welcome.txt" path = "/home/user/Welcome.txt"
data = """ data = """

54
config/i686/desktop-minimal.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -80,55 +82,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/i686/desktop.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -142,55 +144,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/i686/dev.toml
View file

@ -1,5 +1,7 @@
# Configuration for development, includes cargo and rustc # Configuration for development, includes cargo and rustc
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -162,55 +164,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/i686/jeremy.toml
View file

@ -1,5 +1,7 @@
# Jeremy's configuration # Jeremy's configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -170,58 +172,6 @@ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true
[[files]] [[files]]
path = "/home/user/Welcome.txt" path = "/home/user/Welcome.txt"
data = """ data = """

54
config/i686/resist.toml
View file

@ -1,5 +1,7 @@
# Configuration for using resist # Configuration for using resist
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -122,55 +124,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/i686/server-minimal.toml
View file

@ -1,5 +1,7 @@
# Minimal configuration # Minimal configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -67,55 +69,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/i686/server.toml
View file

@ -1,5 +1,7 @@
# Default server configuration # Default server configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -128,55 +130,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

34
config/x86_64/acid.toml
View file

@ -1,5 +1,7 @@
# Configuration for using acid # Configuration for using acid
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -52,35 +54,3 @@ acid tls
acid thread acid thread
shutdown shutdown
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023

54
config/x86_64/demo.toml
View file

@ -22,6 +22,8 @@
# # # #
############################################################################## ##############################################################################
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -198,58 +200,6 @@ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true
[[files]] [[files]]
path = "/home/user/Welcome.txt" path = "/home/user/Welcome.txt"
data = """ data = """

54
config/x86_64/desktop-contain.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -143,58 +145,6 @@ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true
[[files]] [[files]]
path = "/etc/contain.toml" path = "/etc/contain.toml"
data = """ data = """

54
config/x86_64/desktop-minimal.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -80,55 +82,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/x86_64/desktop.toml
View file

@ -1,5 +1,7 @@
# Default desktop configuration # Default desktop configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -142,55 +144,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/x86_64/dev.toml
View file

@ -1,5 +1,7 @@
# Configuration for development, includes cargo and rustc # Configuration for development, includes cargo and rustc
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -162,55 +164,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/x86_64/jeremy.toml
View file

@ -1,5 +1,7 @@
# Jeremy's configuration # Jeremy's configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -242,55 +244,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/x86_64/resist.toml
View file

@ -1,5 +1,7 @@
# Configuration for using resist # Configuration for using resist
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -122,55 +124,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/x86_64/server-minimal.toml
View file

@ -1,5 +1,7 @@
# Minimal configuration # Minimal configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -67,55 +69,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true

54
config/x86_64/server.toml
View file

@ -1,5 +1,7 @@
# Default server configuration # Default server configuration
include = ["../base.toml"]
# General settings # General settings
[general] [general]
# Filesystem size in MiB # Filesystem size in MiB
@ -128,55 +130,3 @@ path = "/etc/hostname"
data = """ data = """
redox redox
""" """
[[files]]
path = "/usr/bin"
data = "../bin"
symlink = true
[[files]]
path = "/usr/games"
data = "../games"
symlink = true
[[files]]
path = "/usr/include"
data = "../include"
symlink = true
[[files]]
path = "/usr/lib"
data = "../lib"
symlink = true
[[files]]
path = "/usr/share"
data = "../share"
symlink = true
[[files]]
path = "/tmp"
data = ""
directory= true
# 0o1777
mode = 1023
[[files]]
path = "/dev/null"
data = "null:"
symlink = true
[[files]]
path = "/dev/random"
data = "rand:"
symlink = true
[[files]]
path = "/dev/urandom"
data = "rand:"
symlink = true
[[files]]
path = "/dev/zero"
data = "zero:"
symlink = true