Pork tenderloin is marinated in lime juice, olive oil, cilantro, and chili flakes before being pressure cooked with chicken broth and lemon juice.
Preparation Time
15 mins
Cooking Time
25 mins
Total Time
40 mins
Calories
151 Calories
Recipe Instructions
Step 1
Blend cilantro, olive oil, lime juice, garlic, red pepper flakes, and salt in a blender until smooth; pour into a large resealable plastic bag. Add pork tenderloin to the bag and manipulate to coat with marinade. Remove as much air from the bag as possible before sealing. Marinate in the refrigerator, 8 hours to overnight.
Step 2
Stir chicken broth and lemon juice together in the bottom of a pressure cooker. Lay tenderloin into liquid in the slow cooker; pour remaining marinade from the bag over tenderloin.
Step 3
Seal and lock pressure cooker and cook over high heat to build pressure until the indicator sounds. Reduce heat to medium and cook for 25 minutes. Remove from heat and let stand for 5 minutes. Run under cold water to help release the pressure before unsealing the lid. Slice tenderloin into medallions to serve.