객체지향 기법에 기초한 마이크로커널의 설계 ( Design of Microkernel based on Object-oriented Method )