Korean style pork cutlet (Donkkaseu: 돈까스)

English name: Pork cutlet
Other English name(s): Tonkatsu (from Japanese)
Korean name: 돈까스
Romanized: Donkkaseu
Other Korean name(s): 돈가스 (donkaseu)

Ingredients (Serves 4)

4 thin slices (1 pound) pork loin or tenderloin (beef, chicken, or turkey)
kosher salt
½ teaspoon ground black pepper
⅓ cup all purpose flour
2 cups ppang-garu (Korean bread crumbs or Japanese panko)
3 eggs, beaten with a pinch of salt
Steamed rice
3 cups corn oil

For gravy:

1 package (100 grams: about ¾ cup) of hi-rice powder
2 tablespoons butter
2½ cups water
¼ cup ketchup

For cabbage salad:

½ medium head cabbage, shredded, rinsed in cold water, strained, and refrigerated
1 cup mayonnaise
1 to 2 tablespoons fresh-squeezed lemon juice
1 tablespoon honey or sugar
1 tablespoon ketchup