My company makes a unified OS (www.volkspc.org) that can run both Android
and Debian applications.
We have ported it to several ARM SOC's and single board computers. Here
is a video clip of our OS running on the ODROID-C2 board.
https://www.youtube.com/watch?v=tTW7OyTFkGQ&t=3s