@MASTERSTHESIS\{IMM2001-0771,
    author       = "L. M. Christensen",
    title        = "An embedded systems kernel",
    year         = "2001",
    keywords     = "Embedded systems kernel development and implementation, single address space operating systems,  generalized bootstrapping",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/771-full.html",
    abstract     = "The process of composing a development system environment, suitable for embedded system development in a Free Software environment, is discussed. The theory of protection and sharing of memory in a single space operating system is presented. A design for a small embedded systems kernel is presented and the actual implementation of the kernel is described. A generalized bootstrap is proposed. The actual implementation of the kernel is included in the appendix."
}