Combine Thai green curry paste, chili, cilantro stalks, basil leaves, coconut milk, and water, Blend to a paste.
Set the SAUTE mode of the instant pot for 15 minutes. Add sesame oil to the inner pot.
Once the oil is hot, add ginger, garlic, and onion. Saute for 1 minute.
Add sliced mushroom. Saute for 2 - 3 minutes or till mushroom become light golden in color.
Next, add the green curry paste. Mix nicely.
Add vegetable stock, tamari sauce, brown sugar, rice vinegar, and salt, and stir to mix. Allow the soup to simmer for 5 minutes.
Add the rice noodles. Simmer the soup till noodles are cooked. This takes less than 5 minutes.
Once noodles are cooked, add coconut milk, bok choy, cilantro, basil, and red chili. Mix and simmer the soup for 1 - 2 minutes.
Taste and adjust the seasoning accordingly.
If the soup seems too thick add more vegetable stock to get the desired consistency, simmer, and turn off the heat.
Just before serving garnish soup with fresh herbs, crushed peanuts, and juice of lime.
Serve Thai Green Curry Soup warm.
