A. David and . Rusling, The Linux Kernel, 1998.

A. David, M. Solomon, and . Russinovich, Inside Microsoft Windows, 2000.

B. W. Lampson, On reliable and extendable operating systems, State of the Art Report, vol.1, 1971.

M. Gien, Micro-Kernel Architecture, Key to Modern Operating Systems Design, Unix Review, vol.8, issue.11, 1990.

R. Dawson, M. F. Engler, . Kasshoek, O. James, and . Jr, Exokernel: An Operating System Architecture for Application-Level Resource Management, ACM Symposium on Operating Systems Principles, 1995.

M. F. Kaashoek, D. R. Engler, G. R. Ganger, H. M. Briceño, R. Hunt et al., Application Performance and Flexibility on Exokernel Systems, ACM Symposium on Operating Systems Principles, 1997.
DOI : 10.1145/268998.266644
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.1539

J. Fassino and J. Stefani, Think : un noyau d'infrastructure répartie adaptable. 2 ` eme Conférence Française sur les Systèmes d'Exploitation, 2001.

P. Pocket and . Page, http://www.compaq.com. [11] Intel StrongARM SA-1110 Microprocessor Developer's Manual, 2000.

. Handhelds, org home page

G. Tzi-cker-chiueh, P. Venkitachalam, and . Pradhan, Integrating Segmentation and Paging Protection for Safe Efficient and Transparent Software Extensions, ACM Symposium on Operating Systems Principles, 1999.

S. Jeffret, H. M. Chase, M. J. Levy, E. D. Feeley, and . Lazowska, Sharing and Protection in a Single Address Space Operating System, ACM Transactions on Computer Systems, 1994.

R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham, Efficient Software-Based Fault Isolation, ACM Special Interest Group on OPerating Systems, 1993.

G. Back and W. Hsieh, Drawing the red line in Java, Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 1999.
DOI : 10.1109/HOTOS.1999.798387

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau, Java Operating Systems: Design and Implementation, 1998.

G. Back, W. C. Hsieh, and J. Lepreau, Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java, ACM Symposium on Operating Systems Design and Implementation, 2000.

T. Jaeger, J. Liedtke, and N. Islam, Operating System Protection for Fine- Grained Programs, USENIX Security Symposium, 1998.

R. David, K. J. Cheriton, and . Duda, A Caching Model of Operating System Kernel Functionality, ACM Symposium on Operating Systems Design and Implementation, 1994.

M. Stuart, M. C. Wheater, and . Little, The Design and Implementation of a Framework for Configurable Software, IEEE International Conference on Configurable Distributed Systems, 1996.

C. Mark, S. M. Little, and . Wheater, Building Configurable Applications in Java, IEEE International Conference on Configurable Distributed Systems, 1998.