Meanwhile, peel then roughly chop the onions. Warm the oil in a deep, heavy pan over a moderate heat, then add the onions and let them cook until soft – a good 20 minutes. Peel and thinly slice the garlic, add to the onions and, when all is soft, add the cumin seeds, ground coriander and cinnamon.