Open ckirsch opened 3 years ago
I think for OpenOCD it's probably the best choice to kick it out of the docker image since the GDB+QEMU combo works really well and since OpenOCD is only needed when one wants to debug the bare-metal setup on actual hardware. Regarding Spike it would be interesting to see the reason why it fails to build. Could you paste the relevant output here?
error: failed to solve: rpc error: code = Unknown desc = executor failed running [/bin/sh -c mkdir -p $RISCV && mkdir -p riscv-isa-sim/build && cd riscv-isa-sim/build && ../configure --prefix=$RISCV && make && make install]: exit code: 2
Building a multiplatform docker image for linux/amd64 and linux/arm64 using:
docker build --platform linux/amd64,linux/arm64 .
currently fails in the linux/arm64 portion for at least two reasons:
lib32gcc-9-dev
seems to be unavailableopenocd
fails to recognize the systemspike
fails to build (which may be an issue we can't solve easily)I am not sure how involved fixing all this is but I expect we need to support ARM64 sooner or later and therefore may not get around the issue.