MLton is a whole-program optimizing compiler for the Standard ML programming language. See README.original for MLton's feature description.
This is a port of MLton to RTEMS X86.
- This is a very early port. Do not use it for real production.
- RTEMS lacks mmap support, it's implemented in terms of malloc. mumap is... well, left unimplemented, which means MLton WILL suffer memory leak if it tries to deallocate heaps (fortunately not too common).
- Network related APIs are all disabled due to lack of support in RTEMS and there does not seem to be a trivial way to fix it.
-
Make sure you have installed RTEMS. See RTEMS quick start guide. The recommended version is Rtems 4.10.
-
Compile GNU GMP using RTEMS toolchains.
-
Edit compile-rtems.sh,set RTEMS to the lib dir of your RTEMS installation. Set GMP to your GMP installation.
-
Edit rtems-mlton, set GMP to your GMP installation dir, GMP_LIB to the lib dir of your GMP installation, RTEMS to your RTEMS installation's lib dir.
-
Compiling:
./compile.sh ./compile-rtems.sh
-
Now you type:
./build/bin/mlton -help
you should see i386-rtems4.10 in the target part.
-
Test your program:
./build/bin/mlton -codegen c -target i386-rtems4.10 hello.sml qemu-system-i386 -kernel hello