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

Primary source of truth for the Docker "Official Images" program

AMD ROCm™ Software - GitHub Home

Lightweight justice for your single-board computer!

Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf

Build script for BareMetal OS and its related utilities

Start Here! Development Environment Tools and System Releases

Bash script to automate setup of Linux router useful for IoT device traffic analysis and SSL mitm

Linux Kodachi is a Debian-based security OS by Warith Al Maawali, built for uncompromising privacy, anonymity, and reliability. It pairs hardened defaults with a curated toolkit for private browsin…

This is a playground for the Boot Linux on ESP32-S3

Given an URL to an AppImage, the GitHub action in this project inspects the AppImage and puts it into a community-maintained catalog

Node-RED install scripts for various flavours of Linux

Embedded Linux Framework

Flashing tool for Sudosom

cli 🦄 for raspberry pi images of type treehouses

GeeXboX Media Center Distribution

Dockerized AVR8 Toolchain

RPM specfiles and patches to install linux-gpib on Fedora

The Scada-LTS installer development project for Linux

PhotoVoltaic Logger new generation --- A logging and data warehouse system for measuring data of sensors and photovoltaic plants. -- Data acquisition scripts

Tcl/Tk console based test system for development boards with FTDI chips. Also supports GPIB and instrumentation over ethernet.

A proof of concept to demonstrate a viable way to turn a Flatpak into AppDir

RPM specfiles and patches to install firmware for certain GPIB adapters on Fedora

Docker image which builds openssl for i586 processors.

Docker image which builds the rust toolchain for i586 processors.