[MLton] x86_64 port status

Matthew Fluet fluet@cs.cornell.edu
Mon, 8 May 2006 07:53:16 -0400 (EDT)


> What happened to fixedGetrusage, which used to live in
> platform/linux.c (among other places), and was needed to work around
> some old Linux kernel bugs?

I think I dropped it for no better reason than it wasn't an issue on my 
platform and it wasn't clear how long we intended to support such old 
broken kernels.  If you want to restore it, you can easily figure out its 
previous uses from HEAD.