Herb Crusted Pork Tenderloin

INGREDIENTS

• 1 tablespoon salt
• 2 tablespoons olive oil
• 4 cloves garlic, minced
• 1 teaspoon dried thyme or 2 teaspoons minced fresh thyme leaves
• 1 teaspoon dried rosemary or 2 teaspoons minced fresh rosemary
• 1 teaspoon dried basil or 2 teaspoons fresh basil leaves
• 1 (4-pound) boneless pork loin, with fat left on