727.16 분리 커널(Separation Kernel) 개념