Maybe someone could provide a docker image with the PDK baked-in and prebuilt? And known to work on caravel?

@Kevin Baragona: FWIW, you shouldn't/you don't to build/harden the caravel chip from scratch. You should be focused on the user_project_wrapper.