After months of conflicting statements from Huawei executives, the Chinese networking giant on Friday officially unveiled HarmonyOS, the much-anticipated microkernel-based distributed operating system that it has developed to power smartphones, laptops and smart home devices as the company attempts to reduce its reliance on American firms.

HarmonyOS will be made available later this year for deployment in smart screen products such as TV, smart watches and in-vehicle infotainment systems, said Richard Yu, CEO of the Huawei consumer division at the company’s developer conference. In the next three years, Huawei, the world’s second largest smartphone vendor, will look to bring HarmonyOS to more devices, including smartphones, he said.

Yu said, without offering any proof, that HarmonyOS is “more powerful and secure than Android.” He said HarmonyOS’ IPC performance is five times that of Google’s Fuchsia. The top executive also claimed that HarmonyOS’ microkernel has “one-thousandth the amount of code in the Linux kernel.”

“A modularized HarmonyOS can be nested to adapt flexibly to any device to create a seamless cross-device experience. Developed via the distributed capability kit, it builds the foundation of a shared developer ecosystem,” the company said in a statement, adding that it began to explore developing its own operating system “as early as 10 years ago.”

The company said it intends to continue to use Android moving forward, but HarmonyOS is officially its back-up plan if things go south. “We will prioritize Android for smartphones, but if we can’t use Android, we will be able to install HarmonyOS quickly,” Yu said.

The availability of the mobile operating system, which is open source, will be limited to China for now, though the company has plans to bring it to international markets at a later stage, he said.

The company said it has worked on security and trustworthiness aspects of the operating system from the ground up. It said HarmonyOS uses formal verification methods to “reshape security.” Formal verification methods are an effective mathematical approach to validate system correctness from the source, while traditional verification methods, such as functional verification and attack simulation, “are confined to limited scenarios,” the company claimed.

The announcement today comes months after the U.S. government put Huawei and more than 60 affiliates in an entity list, restricting U.S. firms from maintaining a business relationship with the Chinese giant. The U.S. government has accused Huawei of stealing trade secrets, and said it poses a risk to national security. Huawei has denied these accusations and pursued legal means to fight back.

In the aftermath, Google, Intel and other U.S.-based companies that contribute much of the technology and solutions that go into a smartphone suspended their business with Huawei, thereby severely questioning the company’s future prospects.

The ongoing trade war between the U.S. and China has already started to impact Huawei’s bottom line. The company’s performance in the quarter that ended in June was weak, compared to several previous quarters.

What remains unclear is the kind of impact the U.S.’ accusations have had on the Chinese giant’s brand image worldwide. According to research firm Counterpoint, about half of all Huawei smartphones ship outside China.

Huawei was poised to become the world’s biggest vendor by shipment — something it would have achieved — “if not for the trade war,” Yu said.