BigPEmu on EmuELEC

I would like to know if there are any plans to include the Atari Jaguar Emulator BigPEmu to EmuELEC?

BigPEmu is a more compatible and more complete emulator with way better performance than Virtual Jaguar and even supports Jaguar CD games.

Batocera Linux already provides BigPEmu to their images.

Thank you!

AFAIK there is no Linux arm64 version of BigPEmu, nor it is open source, so unless the developer releases a precompiled version that works on EmuELEC then this will never happen.