The crDroid OS operating system is an Android-based platform that runs mostly free and open-source software on smartphones, tablet computers,…