Spiced Pork Tenderloin with Barbecued Red Onions

INSTRUCTIONS

1. Press Sear/Sauté and adjust the timer to 15 Minutes, and let heat for 3 Minutes. In a small bowl, combine the ketchup, honey, and mustard. Set aside.
2. Add 1 tbsp (15 ml) of the olive oil to the cooking pot and heat for 1 minute.
3. Season the pork with the chili powder, cumin, and ½ tsp each of the salt and black pepper. Add the pork to the cooking pot and cook, turning occasionally, until browned on all sides, 5 to 7 Minutes total. Press Cancel.
4. Scatter the onions in the cooking pot, drizzle with the remaining 1 tbsp (15 ml) olive oil, and season with the remaining ¹⁄8 tsp each salt and black pepper. Lift the pork and set it on top of the onions. Spoon half of the ketchup mixture over the pork.
5. Cover with the lid, press Bake, and adjust the temperature to 400°F (205°C) and the timer to 15 Minutes. Cook until the pork registers 145°F (63°C) on an instant-read meat thermometer, 10 to 12 Minutes. Press Cancel.
6. Transfer the pork to a cutting board, spoon the remaining ketchup mixture over the top, and let rest for at least 5 minutes before slicing. for at least 5 Minutes before slicing.
7. Transfer the onions to a small dish and serve with the pork.