The ABC ecosystem is powered by Linux.
Almost everything in the ABC city is a linux machine, even a toilet and a toilet bowl are linux devices. The ABC ecosystem uses Redox, which is written in Rust, the default language of ABC, in addition to the ordinary linux.
ABC uses the stable version of Linux kernel managed by the Linux Foundation.
ABC also uses and participates in the development of Redox, which is used in the machines and devices made or designed in the ABC ecosystem.
Redox is not Linux, but the differences between the two are not so much, and linux is more widespread. So, we just call the two as ABC Linux: Linux and Redox.
Basically, one linux device, one SQLite database and one linux in the cloud are one set. For example, a person may have one linux smartwatch, one SQLite db in the watch, and one linux distro in the cloud to do and to record all his/her activities.
ABC is a cloud, and all electronics including cars are connected to and have counterpart linux distros in the cloud. For example, a laundry machine is a linux machine which has its counterpart linux distro in the cloud.
See ABC Cloud for detail.
All cars, bicycles, motorcycles, skateboards etc. are linux machines which manage speeds, battery status, usages, functions of components etc. of them. See ABC Car for detail.
Every facility such as factories, gymnasiums, toilets, buildings, houses etc. are linux machines which manage the temperature, operation, humidity, usage etc. of them. See ABC Facility for detail.
Every machine is a linux machine. For example, in hospitals, X-ray, CT, MRI, all kinds of diagnoses devices are all linux machines. See ABC Machine for detail.
Companies are also linux machines both linux devices at fields and linux distro in the cloud. One linux machine of a company manages all other linux devices belong to the company, and it has counterpart linux distro in the cloud. See ABC Enterprise for detail.
A road is a linux machine which monitors the status and usage, manage road facilities such as street ramps, monitors which car or other vehicles have passed through which road blocks etc. See ABC Road for detail.
TV, laundry machines, electric stoves, microwaves, refrigerators etc. are all linux machines controlled by citizens and ABC itself. See ABC Electronics for detail.
Lands, streams, canals, air spaces etc. are all linux machines. For example, a specific area of the city is linux machine which monitors who visited the area, what kinds of facilities are there, what activities have been done in the area by whom, when, why etc. See ABC SpaceWeb for detail.