Skip to content

Fix dev container build and GDB setup - #60

Merged
JoelYYoung merged 3 commits into
mainfrom
fix/dev-container-gdb
Jul 30, 2026
Merged

Fix dev container build and GDB setup#60
JoelYYoung merged 3 commits into
mainfrom
fix/dev-container-gdb

Conversation

@JoelYYoung

Copy link
Copy Markdown
Collaborator

Summary:

  • align the Docker image and VS Code task with the SVF Debug build and LLVM 21 CMake package directories
  • copy the repository VS Code configurations into the image
  • disable GDB debuginfod downloads by default to avoid debugger startup stalls
  • add Dev Container ptrace metadata and explicitly install libc6-dbg

Validation:

  • Docker build check completed without warnings
  • full ARM64 image build completed successfully with Colima
  • GDB reached main with SYS_PTRACE enabled and without the vDSO debuginfod stall
  • git diff check passed

@JoelYYoung
JoelYYoung merged commit d3254bd into main Jul 30, 2026
4 checks passed
@JoelYYoung
JoelYYoung deleted the fix/dev-container-gdb branch July 30, 2026 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant