Camille: an exo-kernel for constrained devices

We will present Camille an exo-kernel dedicated to memory constrained and secured devices. It main characteristic is its ability to download new components for which their safety is proved. Camille uses an embedded compiler to translate the proved code (in FAÇADE language) to native code in order to obtain performance but also portability. We will point out its use in a Java context (component extension) but also the industrial evaluation that has been done.