3 tablespoons fresh ginger, well chopped - used dried ginger only 1/8 of a teaspoon
10 sm-med cloves garlic, smashed and peeled
2 serrano chiles, stemmed and chopped - used dried chilly flakes only 1/4 of a teaspoon
1/4 teaspoon ground cumin, plus more to serve
3 tablespoons ghee or sunflower oil - used regular butter
2 bay leaves
1 medium onion, chopped
4 1/2 cups good-tasting vegetable stock or water - used chicken stock
3 1/2 cups / 500 g / 18 oz shelled fresh or frozen peas
1 teaspoon sea salt, or to taste

pan-fried paneed, queso fresco, or haloumi, cut into tiny cubes - used feta