Yes, but more like “kimchi to taste”. For the typical Kraft box, I’d say more like half a cup of kimchi, but please do sneak up on what you think is a good amount if its your first time. For reference, a lot of Korean dishes serve at least a quarter-cup per serving.