Update .gitlab-ci.yml

See merge request redox-os/redox!1248

Allow logging serial from qemu to a file.

See merge request redox-os/redox!1247

Setting the qemu_serial_logfile variable in your .config to a file path
will cause the serial output from qemu to be mirrored to that file.

Signed-off-by: Wren Turkal <wt@penguintechs.org>

Bump cookbook to latest master.

See merge request redox-os/redox!1245

Signed-off-by: Wren Turkal <wt@penguintechs.org>

Add pciids option to fs and initfs configs.

See merge request redox-os/redox!1244

Pciids is the packge that contains information about pci devices.

Signed-off-by: Wren Turkal <wt@penguintechs.org>

Install the exact versions required in CI

See merge request redox-os/redox!1243

The requirements are checked in mk/depends.mk to be the exact versions
specified here. This way we don't run into version mismatches in CI.

Add a file to hold a local make config.

See merge request redox-os/redox!1242

This file can be used to set make variables to override defaults
without checking such changes into git. This is useful for settings
such as the filesystem size generated for qemu images.

Signed-off-by: Wren Turkal <wt@penguintechs.org>

Update relibc and cookbook

See merge request redox-os/redox!1241

Add gdbserver + fix net=redir

See merge request redox-os/redox!1240

Fix build of rust-install

See merge request redox-os/redox!1239