Steps
1. Preheat your oven to 400°F (200°C).
2. Pat the pork tenderloin dry with paper towels and season it with salt and pepper.
3. In a small bowl, mix together garlic powder, thyme, rosemary, and olive oil to create a paste.
4. Rub the herb mixture all over the pork tenderloin.
5. Place the pork on a baking sheet and roast in the oven for 20-25 minutes, or until the internal temperature reaches 145°F (63°C).
6. While the pork is roasting, prepare the green beans by steaming them for about 5-7 minutes until tender.
7. Prepare the mashed potatoes according to package instructions or make them fresh.
8. Once the pork is done, let it rest for 5 minutes before slicing.
9. Serve the sliced pork with green beans and mashed potatoes on the side.