Ingredients
The following ingredients have 2 Servings
- 1 pork tenderloin
- 1 teaspoon salt
- 1/8 teaspoon freshly ground pepper
- 1/4 teaspoon dried thyme
- 1 clove garlic (peeled and minced)
- 1 Tablespoon olive oil
- 1 onion (thinly sliced)
- 1 carrot (scrapped and sliced)
- 2 cloves garlic (unpeeled)
- 4 sprigs parsley
- 1/2 cup dry vermouth
- 1/3 cup cider vinegar
- 10 crushed peppercorns
- 1 1/2 cups whipping cream
- 2 teaspoons dry mustard mixed with 2 teaspoons water
- 1 Tablespoon softened butter
- 1 Tablespoon all purpose flour