Hello, I have developed, tested, and verified an OpenOCD configuration file that allows one to debug a Raspberry Pi 4 Model B board. Ideally, this would be added to the board configuration files that are part of the standard OpenOCD distribution.
Can I post the file here and have one of the maintainers add it to the project? I'd like to avoid dealing with the GIT repository since that seems to be geared towards making changes to source code. Thanks, Leonard
