So I'm a little confused by this. Is he running Fedora as the main boot operating system or something on top of/beside Android (which he can switch to like an app within Android)?