Cinnamon-Cranberry Pork Tenderloin

This is from Ricardo. Could be perfect for holiday.

• Ready In: 35 mins
• Serves: 4

Ingredients

• 2  teaspoons ground cinnamon
• 3  tablespoons olive oil
• 2  pork tenderloin
• 1  onion, finely chopped
• 2  garlic cloves, finely chopped
• 1 1⁄2 cups fresh cranberries or 1 1⁄2 cups frozen cranberries
• 1⁄4 cup honey
• 1⁄2 cup  chicken stock

Directions

1. Put grill in the center of the oven.
2. Preheat oven at 375°F.
3. In a bowl, mix cinnamon and 1 tablespoon of oil.
4. Baste tenderloins with this cinnamon oil.
5. Salt and pepper if wanted.
6. In a big skillet oven proof, brown pork tenderloins in the remaining oil at high heat.
7. Set aside on a plate.
8. In the same skillet, grill onion and garlic.
9. Add oil if needed.
10. Add remaining ingredients and bring to boil.
11. Put back the tenderloins and cook in the oven 15 to 20 minutes for a medium cooking.
12. Cover with aluminium paper and let stand 5 minutes.
13. Slice pork tenderloins and sprinkle with the cooking juices.
14. Delicious with leek potatoes gratin, rice or couscous.