References

• gh:hadolint/hadolint: Haskell Dockerfile Linter

• gh:0x01be/rudder

• gh:Mluckydwyer/hw-ci

• gh:limerainne/Dockerize-EDA

• gh:alpin3/ulx3s

• gh:vmunoz82/eda_tools

• eine/elide

• gh:cdsteinkuehler/QuartusBuildVMs

• gh:ghdl/setup-ghdl-ci

• gh:hackfin/ghdl-cross.mk

• gh:rfdonnelly/docker-questa

F4PGA

• gh:SymbiFlow/make-env

  • bit.ly/edda-conda-eda-spec: Conda based system for FPGA and ASIC Dev

  • Support providing the environment using docker rather than conda #15

• gh:im-tomu/fomu-toolchain

• gh:antmicro/runner

distroless

• gh:GoogleContainerTools/distroless

Wolfi

• gh:wolfi-dev

• gh:chainguard-dev/melange

• gh:chainguard-dev/apko

NixOS

• nixos.org/manual: pkgs.dockerTools

• nix.dev/tutorials: Building and running Docker images

LibreCores

• gh:librecores/ci-docker-image

• gh:librecores/docker-images

• LibreCores CI Infrastructure (LCCI):

  • gh:lccitools

  • gh:lccidocker

ASIC

• gh:The-OpenROAD-Project

• gh:efabless/openlane

  • gh:efabless/foss-asic-tools

  • gh:hpretl/iic-osic-tools

• gh:mabrains/OpenAnalogDesign

• RISC-V bring-up tracker

• A Step-by-Step Example: Layout of a CMOS Inverter Using SkyWater Technology (SKW) 130nm Process

Google Container Regisry (GCR)

• gh:salrashid123/gcr_stats

• gh:gregsramblings/google-cloud-4-words: The Google Cloud Developer’s Cheat Sheet

• gh:google/go-containerregistry: cmd/crane/README.md

USB/IP

• gh:gw0/docker-alpine-kernel-modules

• gh:virtualhere/docker

  • Windows USB Server

  • USB Client

  • Linux Console Client

  • Client API

  • hub.docker.com/r/virtualhere/virtualhere-client