# Pre-RFC: interface specifications

**URL:** <https://sel4.discourse.group/t/pre-rfc-interface-specifications/241>\
**Category:** RFC discussion\
**Created:** [November 11, 2020, 10:33pm UTC](https://sel4.discourse.group/t/pre-rfc-interface-specifications/241 "2020-11-11T22:33:37Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![DemiMarie](https://avatars.discourse-cdn.com/v4/letter/d/43a26b/32.png) [@DemiMarie](https://sel4.discourse.group/u/DemiMarie)\
**Post date:** [November 11, 2020, 10:33pm UTC](https://sel4.discourse.group/t/pre-rfc-interface-specifications/241/1 "2020-11-11T22:33:37Z")

</div>

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)

---

<div class="post-metadata">

**Author:** ![curtis](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/curtis/32/12_2.png) [@curtis](https://sel4.discourse.group/u/curtis)\
**Post date:** [November 11, 2020, 10:36pm UTC](https://sel4.discourse.group/t/pre-rfc-interface-specifications/241/2 "2020-11-11T22:36:16Z")

</div>

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.