en.wikipedia.org/wiki/KaiOS

This line appears in a list of devices "installed with KaiOS," but HMD's own product materials identify the HMD Barbie™ Phone as running S30+, not KaiOS.

• HMD's official specs page for the HMD Barbie Phone says "Operating System: S30+".
• HMD's official launch press release for the same product also lists "OS: S30+" in the phone specifications.
• That press release specifically adds that "The US version of the HMD Barbie™ Phone is coming soon," so the U.S. version referenced here is still the Barbie Phone product line HMD describes as S30+, not KaiOS.

Because the sentence includes the U.S. Barbie Phone in a list of KaiOS devices, it misclassifies that phone's operating system.

KaiOS's official developer documentation contradicts this statement.

• On the official KaiOS developer site, KaiOS is described as "forked from B2G (Boot to Gecko), a successor of the discontinued Firefox OS."
• In KaiOS's architecture/security documentation, Gonk is defined as "the underlying Linux kernel, system libraries, firmware, and device drivers that everything runs on top of." That means Gonk is a lower layer in the system architecture, not the project KaiOS itself was forked from.

So while KaiOS may reuse low-level components historically associated with Android-derived layers, the statement that KaiOS was forked from Android for Gonk is not how KaiOS itself describes its origin. The official lineage given by KaiOS is B2G/Firefox OS, with Gonk as an underlying layer of the platform.

This phrase is technically incorrect because WebP is an image format, not a video codec.

• Google's WebP documentation describes WebP as "a modern image format" for the web.
• MDN's image format guide lists WebP under common image file types, with MIME type image/webp.
• By contrast, AV1 is a video coding format. Grouping WebP and AV1 together as "video codecs" misclassifies WebP.

A more accurate wording would separate them as an image format (WebP) and a video codec (AV1), or refer more generally to new media format support.

The infobox lists KaiOS's initial release as October 2017, but KaiOS's own official device catalog shows a public KaiOS device several months earlier.

• The official KaiOS page for the Alcatel GO FLIP™ 2 says it runs KaiOS 1.0 and was launched in April 2017.
• KaiOS's company history page also says the platform launched in 2017, which is consistent with an earlier 2017 release, not specifically October.

Because KaiOS 1.0 was already shipping on an official device in April 2017, the article's October 2017 initial-release date is incorrect.