Pork Tenderloin without florets meat

1 garlic clove , minced 1 teaspoon salt 1/2 teaspoon white pepper 1/4 teaspoon thyme 1 lb pork tenderloin 1 tablespoon olive oil 1 Mix garlic, salt, pepper[...]

3 tablespoons olive oil 2 teaspoons fennel seeds , crushed 2 medium fennel bulbs , quartered, cored, thinly sliced 1 large onion , thinly sliced 2 tablespoons[...]