A micro-kernel based operating system