Is there a way to uninstall nios2eds to save disk (Docker image) size?
nios2eds takes quite a bit of space and I don't need it in my P&R Docker image. Is there a way to uninstall it? It currently takes 7 minutes to pull in a Docker image in Google Cloud (20gByte), nio...