Hi,
  I'd like to work on this pointer.

     * decide which RTOS kernel we want to use (Harald)

- Allen