3 ms·

Red Flag Linux was China's distro.