I've been looking forward to doing that work, actually. Originally it was my impression that for instance FreeBSD required libc as the stable syscall ABI, howev

I've been looking forward to doing that work, actually. Originally it was my impression that for instance FreeBSD required libc as the stable syscall ABI, however David Chisnall informed me that in fact, the syscall ABI is stable! That's great news as far as I'm concerned because it's quite handy for cross-compilation and static executable distribution.