I understand, thank you. My statement kind of assumes north korea is maintaining a fork of the kernel they patch and customize. It also implies NK is one of the few organizations that would accept russian maintainers into their fork, given the somewhat limited number of linux projects operating outside of the sanctions.