716.5 마이크로커널과 나노커널 통합