https://digitalixy.com/tech/maude/189036/android-is-based-on-linux-but-what-does-that-mean/