I’m somewhat surprised to see that they use a KVM to switch between back and forth between a JWICS and SIPRNET. I would imagine it’s a special KVM as it’s essentially bridging the airgap between the two.
They use special secure KVM from the major vendors and they are tempest resistant meaning they are shielded from bleeding signals between devices. They also have devices that can use multiple levels on the same screen and keyboard! See Everfox TTC