최근 운영체제 개발분야에서 마이크로커널 설계 기술이 새로운 경향으로 부각되고 있다. 마이크로커널은 기존의 모노리딕 커널과 상이한 구조를 가지고 있으므로, 성능분석 튜닝을 위하여 새로운 도구를 필요로 한다. 본 논문에서는 마이크로커널 기반 운영체제를 위한 성능 측정도구 MKperf의 개발에 관하여 기술하고자 한다. MLperf 는 마이크로커널 r조의 성능에 중요한 영향을 미치는 문맥 교환과 원격 프로시저 호출을 추적할수 있다. 뿐만 아니라 , 캐시와 TLB와 같이 메모리 성능에 결정적인 영향을 미치는 다양한 하드웨어 성능요소들을 측정할수 있다. MDperf 의 이러한 측정 기능은 마이크로커널 기반 운영체제 성능을 정량적으로 분석하는데에 유용하게 사용될 수있다.