Are there kid-sized ICDs?

Currently, there aren't any companies that make an ICD specifically for children. A regular ICD will perform correctly when programmed for a child, and might be implanted differently for the child's comfort.