Comment 2 for bug 237724

mturilli (mturilli) wrote :

I have been suggested a work around for mono to work with the bugged kernel:

1. Download mono source
2. Edit file mini/mini-amd64.h adding #define MONO_ARCH_NOMAP32BIT at the end of the file, just before the last #endif
3. Compile mono using ./configure --prefix=/usr if you want to replace the current mono installation and make you life easier with GAC
4. If the case, add in GAC the assemblies not fund by the new mono installation (

Note that this is a workaround for the kernel bug outlined in my previous post, not a fix for mono.

Hope it helps