Protection in the Think exokernel

Christophe Rippert (1, 2, 3) , Jean-Bernard Stefani (2)

1 VERIMAG - IMAG - VERIMAG
2 SARDES - System architecture for reflective distributed computing environments
3 POPS - System and Networking for Portable Objects Proved to be Safe

In this paper, we present our preliminary ideas concerning the adaptation of security and protection techniques in the Think exokernel. Think is our proposition of a distributed adaptable kernel, designed according to the exokernel architecture. After summing up the main motivations for using the exokernel architecture, we describe the Think exokernel as it has been implemented on a PowerPC machine. We then present the major protection and security techniques that we plan to adapt to the Think environment, and give an example of how some of these techniques can be combined with the Think model to provide fair and protected resource management. Finally, we briefly present the iPAQ Pocket PC to which we plan to port the Think exokernel and explain our interest in this kind of mobile devices.

Domains: Embedded Systems

Christophe Rippert, Jean-Bernard Stefani. Protection in the Think exokernel. 4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy. ⟨hal-00308882⟩