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