Can't remember the Headline, but it was something regarding Microkernel usage on constrained devices. In case the most stripped down version of linux does not fit.