Microkernel
	Debugging
	1.	x86 SMP
	2.	boot loader
	3.	makefiles
	Development
	1.	RPC improvements
	2.	VM tuning
	3.	CD boot
	4.	New memory allocator
	5.	IA-64 port
	6.	MIPS port
	7.	x86-64 port

Lites
	Debugging
	1.	server
	2.	emulator
	3.	makefiles
	Development
	1.	emulator improvements
	2.	merging into microkernel source tree
	3.	migrating to mk's osf tools

POSIX Single Server
	Development
	1.	Overall

Win32 Single Server
	Development
	1.	Overall

Other
	Debugging
	1.	mach_init server (provided with Lites sources)
	2.	GDB
	Development
	1.	Bringing GDB up to date.

=====================================================

For up to date task list please visit:
https://sourceforge.net/pm/?group_id=23369