vasilito
50b731f1b7
Derivative of Redox OS (https://www.redox-os.org) adding: - AMD GPU driver (amdgpu) via LinuxKPI compat layer - ext4 filesystem support (ext4d scheme daemon) - ACPI fixes for AMD bare metal (x2APIC, DMAR, IVRS, MCFG) - Custom branding (hostname, os-release, boot identity) Build system is full upstream Redox with RBOS overlay in local/. Patches for kernel, base, and relibc are symlinked from local/patches/ and protected from make clean/distclean. Custom recipes live in local/recipes/ with symlinks into the recipes/ search path. Build: make all CONFIG_NAME=redbear-full Sync: ./local/scripts/sync-upstream.sh
16 lines
344 B
Plaintext
16 lines
344 B
Plaintext
FROM debian:stable-backports
|
|
|
|
RUN apt-get update \
|
|
&& apt-get install -y --no-install-recommends -t stable-backports \
|
|
python3 \
|
|
python3-pip \
|
|
gdb \
|
|
curl \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
RUN pip3 install gdbgui --break-system-packages
|
|
|
|
EXPOSE 5000
|
|
|
|
ENTRYPOINT [ "gdbgui", "--remote", "--port", "5000" ]
|