contiki-os/contiki — pull request #521 by oliverschmidt (2014-01-17 22:52:14+00:00)
Title: Add somewhat more support to use different mouse drivers.

- The default mouse driver is now always named 'contiki.mou'.
- Alternative mouse drivers are present in the disk images.
- Users can select their mouse driver by renaming the files.