The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization,modularity,portability and extendibility.