Season with salt and pepper (to taste). Finely mince rosemary and chop 2 oz garlic. Mix together with 1 tbsp oil. Rub mixture all over pork tenderloin. Sear pork on all sides in a pan on high heat.