Linux comes mostly for free, Fuchsia is still not mature enough and is 100% on Google's budget.
However and this is what I always raise up to people rejoicing about Linux on Android, using official Android images, there is very little Linux exposed to application writers.
The Java Frameworks are naturally kernel agnostic, and the NDK APIs are quite constrained, with the main goal of being used to implement Java native methods or bring in C or C++ code into Android.
Yes, on servers ;-) EDIT: used and developed by end users made from blood and flesh. On the other hand minix is used and worked on by corporation. So I guess it depends how you look at things