	Project Name	Bounty
	GNU/Hurd: container for general GNU Hurd work [go] `There are lots of things to be done on the GNU Hurd itself...`	C $364.54
	libc variant selection: cpuid (and related) code [go] `Some cpuid (and related) code needs to be ported/written for glibc.`	C $36.45
	GNU/Hurd: container for code analysis, formal verification work [go] `The existing GNU/Hurd code should undergo code analysis and formal verification.`	C $277.80
	/hurd/term [go] `Figure out what is going wrong in /hurd/term.`	C $194.45
	locking issues, formal verification [go] `There are locking issues in the Hurd's libraries/translators, to be uncovered with methods of formal verification.`	C $83.35
	fork: mach_port_mod_refs: EKERN_UREFS_OWERFLOW [go] `Forking the same process to often will hit a limit due to some port leak, as it seems.`	C $36.45
	GNU/Hurd: foster Python programming [go] `Resolve issues uncovered by Python's test suite, and enabling Hurd-specific features.`	C $13.42
	GNU/Hurd: enable Google Go programming (GCC: gccgo) [go] `Make the Google Go programming language available on GNU/Hurd in its GCC gccgo implementation, and enable Hurd-specific features.`	C $9.08
	improve translators [go] `Many translators are in a half-finished state: basically functional, but with missing functionality. Pick one of them and improve it.`	C $36.46
	Lexical .. resolution [go] `Implement lexical .. resolution in glibc.`	C $18.22
	GNU/Hurd: foster Perl programming [go] `Resolve issues uncovered by Perl's test suite, and enabling Hurd-specific features.`	C $29.08
	GNU/Hurd: container for general GNU Mach work [go] `GNU Mach is the microkernel that the GNU/Hurd system is based on. It's showing its age and could do with some care.`	C $64.82
	Memory Management [go] `GNU Mach's internal memory management system should be improved.`	C $0.00
	ext2fs page cache swapping leak [go] The issue known as ``ext2fs page cache swapping leak'' should be tracked down.	C $54.67
	Console Timestamp [go] `Timestamps should be added to the messages that GNU Mach emits on the console.`	C $32.40
	Rework IPC Spaces [go] `There are reasons to believe that GNU Mach's IPC spaces' performance can be improved by changing the implementation's data structure.`	C $32.42
	tmpfs [go] `tmpfs is a file system server for temporary data storage without using a real (permanent) backing store. It isn't working correctly.`	C $91.13
	syncfs [go] `Merge syncfs into GNU coreutils' sync program.`	C $36.45
	GNU/Hurd: enable Ada programming (GCC: GNAT) [go] `Make the Ada programming language available on GNU/Hurd in its GCC GNAT implementation, and enable Hurd-specific features.`	C $37.56

This member has no pending duties.