since some days ago, my interest on micro kernel is growing up. I found some mkernel implementations for linux with the possibility to run linux above of the kernel, but the main advantage of the mkernel is not used. I had a short look into QNX, Mach, L4, Amoeba and BeOs, and found many different ways to build a mkernel. I also read, that OSF has changed to L4. What exactly is your goal? Why did you not changed to L4? Do you have the interest to build a kernel to go new ways?