I'm given to understand that on many phones Android runs in the application core on top of an L4 kernel, which provides resources to Android but also controls the various DSP and embedded cores.