OtherCrashOverride wrote:To shed a little light on things: There is a hard-float patch to mono that was done by Sony for armv7. This patch requires a patch to work on armv6 on Raspberry Pi. Since Xamarin is not the author of the patch, they do not include it in mono because, although mono is GPL/LGPL, they require copywrite assignment so they can re-license mono commercially. To further complicate things, the hard-float patch is against mono 2.10 while mono 3.x is now current.
In this case, if the patch can't get merge upstream, then it may be best to start by creating a distribution patch. This means that Debian & Rasbian can host the patch. This is common practise by distributions to make the packaged software as good as possible by maintaining distribution specific patches when needed.
I would suggest to download the current debian source for mono and include the patch in order to make a proof of concept .deb package.
If interest is large enough the community may create a, patch maintaining, project for mono outside Xamarin that may ease inclusion of the patch for all Raspberry Pi Linux distributions, similar to the current java situation where the IcedTea project maintains armhf and JIT patches on top of OpenJDK that for political reasons cant be merged with Oracles OpenJDK codebase upstream. This is the best way to community manage the code in the long run.