Pre-RFC: interface specifications

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:

  • Filesystems
  • 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)

I suspect it would be difficult to describe most of these without an understanding for the available underlying communication protocols and patterns of the operating system.