# Procedural generation of the seL4 API

**URL:** <https://sel4.discourse.group/t/procedural-generation-of-the-sel4-api/24>\
**Category:** seL4 kernel\
**Created:** [January 7, 2019, 7:13am UTC](https://sel4.discourse.group/t/procedural-generation-of-the-sel4-api/24 "2019-01-07T07:13:31Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![lazycandle55](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/lazycandle55/32/51_2.png) [@lazycandle55](https://sel4.discourse.group/u/lazycandle55)\
**Post date:** [February 26, 2020, 4:44am UTC](https://sel4.discourse.group/t/procedural-generation-of-the-sel4-api/24/9 "2020-02-26T04:44:37Z")

</div>

Continued in [this thread](https://sel4.discourse.group/t/pre-rfc-specify-a-fixed-kernel-abi-for-each-architecture/145).

---

_[View the full topic](https://sel4.discourse.group/t/procedural-generation-of-the-sel4-api/24)._