l4/pkg/input/TODO

   1 - other devices (for now only PS/2 mouse and keyboards are supported)
   2   - USB stub
   3   - serial mice
   4 - dynamic event lists (means: no static buffers
   5   and memcpy)
   6   BUT: one can use callback mode
   7 - dox
   8 - jiffies thread is not necessary in L4IO mode