It would be nice if there were standardized interfaces, such as for block and network drivers, between seL4 components. Some of the interfaces I would like to see are:
- Block devices; the Xen PV API is likely to be a good source of inspiration.
- Network interfaces; again the Xen PV API would be a good place to start
- A space bank, for dynamic allocation and deallocation of memory
- Network stacks
- USB devices
- Graphics Processing Units (GPUs)