1 tablespoon dried red chile flakes, preferably korean gochugaru

Instant Pot Korean Chile-Braised Brisket and Kimchi Coleslaw