Stir around very quickly for a minute, then add your garlic, onion and thyme and a small amount of seasoning. After about a minute you’ll probably notice moisture cooking out of the mushrooms and at this point add half of your porcini, chopped up, and the rest left whole.