This topic lists interesting documents for anyone interested in operating system design, performance and research. **_Micro kernels:_** * <http://citeseer.nj.nec.com/maeda92networking.html> -- An article by Chris Maeda and Brian N. Bershad discussing optimizations of an UDP driver. -- [[Main/JoachimNilsson]] - 20 Jul 2002