There is a FOSS Factory bounty (p265) on some GNU Mach tasks.