Mirror of https://gitlab.redox-os.org/redox-os/redox

DEPRECATED; see https://github.com/boot2docker/boot2docker/pull/1408

A plugin manager for Fish

An open-source, next-generation "runc" that empowers rootless containers to run workloads such as Systemd, Docker, Kubernetes, just like VMs.

RISC-V Tools (ISA Simulator and Tests)

One script which generates live Linux ISO image with minimal effort. Based on the first published version of Minimal Linux Live: http://github.com/ivandavidov/minimal

A few scripts to make code review via Gerrit Code Review easier for developers.

RFCs for Cloud Native Buildpacks

Script setup of Tekton on GCP, from standup through end-to-end build-and-push of container to AR.