라는데 아마 3.0 기준인거같습니다. 커널은 마이크로커널과 계층형커널의 장점만을 뽑아서만든 독자적(?)커널이라고하네요.