VDict mobile



micro-kernel not found. Suggestions:

microkernel
MELDC
Angel
Micro Channel Architecture
PS/2
MICRO SAINT
Rom Kernel Manual
Debian GNU/Hurd
KAP
Mach
KL1