Manufacturers that have recently dumped #Linux on their consumer devices:
Amazon
Huawei
Xiaomi
Expect this list to grow.
Amazon's replacement for Linux is L4 in its new Vega OS. Think about that.... things must be very bad if they are citing performance and memory efficiency as the reasons to move from Linux to a #microkernel. 