GNU의 HURD역시 MACH 커널입니다.
 : 안녕하세요.
: Microkernel에 관한 자료를 구하고 있는 중입니다.
:
: 현재 제가 알아본 것은
:
: L4 Linux
:
: ELKS
:
: muLinux
:
: exokernel
:
: EMERALDS
:
: 등을 알아보았는데.
:
: PDA같은데 쓰일 수 있을 만한 가능성이 있는 커널을 찾아보고 있는
: 중입니다.
:
: exokernel같은 경우는 MIT에서 진행하는거 같은데 1999년후 개발이
: 뜸해진것 같구, EMERALDS같은 경우는 realtime인데 PDA쪽이 아니라 서버에
: 서 사용되는거 같구. muLinux는 X원도우 어쩌구 하는것으로 봐서는
: 아닌것 같구, L4는 postech에서 분석한것 같은데 링크는 다 깨져있어서
: 정확한 정보를 모으기가 힘들구요, ELKS같은 경우는 500k정도의 메모리를
: 잡아먹는것 같은데...
:
: 여러가지로 조사를 해 봤지만 아직도 감이 잘 안잡힙니다.
: 여러분!!!! 도와주십시오...
:
: 며칠동안 혼자서 해볼려니 힘이 부칩니다..