727.86 seL4 기반 분리 구현