The testbenches live in their own Makefiles under
hw/application_fpga/core/*/toolruns (except picorv32). Let's add a
top-level target to build and run them.
In order to run core testbenches, use
cd hw/application_fpga
make tb
or if using Podman:
cd contrib
make run-tb
to run the same target in a container.
- Add a small menu of build targets
- Add podman support, both building the image, creating a container of
the image and running shell, and running make inside a podman image.
