멀티커널 기반 분할형 운영체제 연구