Why do I specify ipu4 and ipu4_ex both to use ipu device in docker like below command?
docker run --device=/dev/ipu4:/dev/ipu4 --device=/dev/ipu4
