Comment by conradev

Yep, and in the reverse, you don't need a separate kernel to run Android software on Linux: https://waydro.id