1 = Future Work = 2 3 Some device servers could offer a broader range of operations and there could 4 be increased consistency between implementations for different computing 5 devices. For example, CPM servers only support operations necessary for LCD 6 peripheral configuration. 7 8 Additional device servers could be provided for peripherals already supported 9 by libraries. For example, GPIO functionality is currently not exposed via a 10 server. (L4Re's Io server seeks to support GPIO functionality in such a 11 fashion.) 12 13 Panel details are provided by libraries containing the structure definitions 14 required by the LCD device code. These libraries may eventually be replaced by 15 simple resource data files, but it is convenient to be able to use definitions 16 found in header files and to take advantage of structure definitions by just 17 encoding such details in source code and then turning such code into a 18 library. 19 20 Framebuffer device servers are not currently used, since fb-drv effectively 21 offers the desired functionality together with other things. 22 23 The input event device support needs to be made properly interoperable with 24 the L4Re event framework so that existing software can be supplied with keypad 25 events. 26 27 Keypad device support should support interrupt handling to allow the scanning 28 activity to sleep when no activity is taking place. 29 30 Plenty of other hardware support should be introduced.