Spiced Pork Tenderloin with Barbecued Red Onions

Step 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.

Step 2

Add 1 tbsp (15 ml) of the olive oil to the cooking pot and heat for 1 minute.

Step 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.

Step 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.

Step 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.

Step 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.

Step 7

Transfer the onions to a small dish and serve with the pork