TUD's Operating Systems Group is doing various projects based on microkernel operating systems, currently L3, and, perspectively, L4 and other kernels. In order to provide a microkernel based environment for research, development and day-to-day use, writing a Unix emulation running on top of the microkernel is an important strategic step towards our goals.
There are several ways to achieve Unix emulation, but for the sake of having access to a Unix environment as soon as possible (which would also have the advantage of replacing the somewhat ,,esoteric'' L3 development environment), we have been considering porting an existing Unix single server from another microkernel to L3.