Kielbasa and Cabbage for Electric Pressure Cookers

Ingredients (9)

• + 24 ounces Polish beef kielbasa, sliced add to pantry
• + 1 onion, chopped add to pantry
• + ¼ cup butter add to pantry
• + 2 cups beef stock add to pantry
• ✓ ½ teaspoon dried thyme
• + ½ teaspoon hot sauce, or to taste add to pantry
• + 1 head cabbage, cored and chopped into 1 1/2-inch pieces add to pantry
• + salt and ground black pepper to taste add to pantry
• ✓ salt and ground black pepper to taste