Comment by blaesus

The company has an account on Bilibili[0], where its Chinese name is specified as 鲸鲮. 鲸, romanised as Jing, means "whales" (the animal). So JingOS would be "WhaleOS".

(鲮, romanised as Ling, is another water animal known as "mud carp".)

[https://www.bilibili.com/video/BV1Za4y1n7pY]