redox/config
..
aarch64
i686
x86_64