Is it possible to install the planet real time kernel on debian based systems (ubuntu)? -- Gilles - Who (or what) is Macduff?