B. N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. Mcnamee et al., ---an extensible microkernel for application-specific operating system services, ACM SIGOPS Operating Systems Review, vol.29, issue.1, 1994.
DOI : 10.1145/202453.202472

S. Bhatia, C. Consel, A. Meur, and C. Pu, Tool-based specialization of protocol stacks in OS kernels, Research report, 2004.

C. Consel, J. L. Lawall, and A. Meur, A tour of Tempo: a program specializer for the C??language, Science of Computer Programming, vol.52, issue.1-3, 2004.
DOI : 10.1016/j.scico.2004.03.011
URL : https://hal.archives-ouvertes.fr/inria-00475667

C. Evans-data, Embedded systems development survey, 2003.

D. Duggan, Type-based hot swapping of running modules, International Conference on Functional Programming, pp.62-73, 2001.
DOI : 10.1007/s00236-004-0151-1

D. R. Engler, M. F. Kaashoek, and J. W. O-'toole, Exokernel: An operating system architecture for application-level resource management, Proceedings of the 15th ACM Symposium on Operating Systems Principles, pp.251-266, 1995.

B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin et al., The Flux OSKit: A substrate for kernel and language research, Proceedings of the 16th ACM Symposium on Operating Systems Principles, pp.38-51, 1997.

F. Matthijs, G. Denys, and F. Piessens, Survey of customizability in operating systems research, ACM Computing Surveys, vol.34, issue.4, pp.450-468, 2002.

N. D. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. International Series in Computer Science, 1993.

J. L. Lawall, G. Muller, and L. P. Barreto, Capturing OS expertise in a modular type system: the Bossa experience, Proceedings of the ACM SIGOPS European Workshop 2002 (EW2002), pp.54-62, 2002.

A. Le-meur, J. L. Lawall, and C. Consel, Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, Higher-Order and Symbolic Computation, pp.47-92, 2004.
DOI : 10.1023/B:LISP.0000029448.02877.78
URL : https://hal.archives-ouvertes.fr/inria-00475679

D. Mcnamee, J. Walpole, C. Pu, C. Cowan, C. Krasic et al., Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems, vol.19, issue.2, pp.217-251, 2001.
DOI : 10.1145/377769.377778
URL : https://hal.archives-ouvertes.fr/hal-00444034

C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan et al., Optimistic incremental specialization: Streamlining a commercial operating system, Proceedings of the 1995 ACM Symposium on Operating Systems Principles, pp.314-324, 1995.

]. M. Seltzer, Y. Endo, C. Small, and K. A. Smith, Dealing with disaster: Surviving misbehaved kernel extensions, Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pp.213-227, 1996.

A. C. Veitch and N. C. Hutchinson, Kea-a dynamically extensible and configurable operating system kernel, Proceedings of International Conference on Configurable Distributed Systems, 1996.
DOI : 10.1109/CDS.1996.509367