On 11/08/2020 12:22, Makarius wrote:
On 11/08/2020 09:37, David Matthews wrote:
Secure OSs: There is now support for OpenBSD and SELinux in enforcing mode.
There was a problem with these operating systems because they forbid the
creation of memory areas with both execute and write permissions. In order to
create and garbage collect ML code the RTS needs to be able to write to the
code areas and it also needs to be executed. The work-around is to use memory
mapped files and create two separate regions mapped to the same file.
I have problems building that version b95a85ead3ae on Windows with MinGW:
It should be fixed now. It seemed to be with the 32-in-64 bit version
on MSys.
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
