[ANN] Simplified Android cross-compiler with DkML

Hi there @jbeckford,
This is very interesting!
Do you think this setup for a cross-compiler for Android ARMv7 could also be used to compile OCaml programs to the Numworks graphical calculator?
It’s also based on ARMv7 32 bits.
I opened this question in 2021, and I would like to finish the job this time.
Thanks a lot, if you have any valuable inputs!