Yesterday, kov and I were trying to build the L4Linux 2.4 release to try it... The L4 is a ยต-kernel that provides basic funcionality like memory mapping, a fast IPC and so on. Some hackers ported the linux kernel to run in a deprivileged user-level using the features of L4... we tryed to test it, but the compilation stoped with an error and I went to my bed for a little rest :). Today (after finishing a gstreamer-player usage manual) we will try to fix the problem and go on.
