2 1/2 teaspoons kosher salt, plus more to taste

Instant Pot Korean Chile-Braised Brisket and Kimchi Coleslaw