English Kernelized Secure Operating System: תרגום לשפות אחרות