well hello i'm a new user of linux and just joined the LLUG=Lebanese Linux User Group < and i wanna ask about micro kernel where to find it and how to maintain it if any one can help me i would be thankfull
Check out the HURD Project and Debian GNU/HURD
You can also find more info, by looking for information on the MACH kernel.