To make this gluten free, use cornstarch instead of flour. Skip the step of making the gravy base beforehand. Once the pork tenderloin is cooked and has been removed from the dutch oven, add the whole cup of stock or broth. Mix 1 tablespoon of cornstarch to the milk until the cornstarch is dissolved, then add this mixture when the stock or broth begins to simmer.