You can add a cube or two of garlic while you're doing this. Turn your Instant Pot off. Make sure there are no burned bits.
Then add your spices, rinsed red lentils, and 6 cups of water. Turn your Instant Pot on to manual and and set for 10 minutes.
Make sure your knob is set to sealing. A
s soon as it's done, hit the off button.
Release the pressure.
Open your Instant Pot and stir - make sure it hasn't burned and the soup hasn't stuck to the bottom of the pot.
Add 2 to 3 cups of water with the salt and cook for 6 minutes more.
Let the soup sit for 5-6 minutes and then slowly release the pressure.
Optional: Stir in the kale or greens. Serve with some crusty bread or crackers.