# About the seL4 kernel category

**URL:** <https://sel4.discourse.group/t/about-the-sel4-kernel-category/13>\
**Category:** seL4 kernel\
**Created:** [January 2, 2019, 11:50pm UTC](https://sel4.discourse.group/t/about-the-sel4-kernel-category/13 "2019-01-02T23:50:00Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![anna.lyons](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/anna.lyons/32/4_2.png) [@anna.lyons](https://sel4.discourse.group/u/anna.lyons)\
**Post date:** [January 2, 2019, 11:50pm UTC](https://sel4.discourse.group/t/about-the-sel4-kernel-category/13/1 "2019-01-02T23:50:00Z")

</div>

Systems related seL4 discussions: kernel design decisions, how to do X with seL4, how to port seL4 to a new architecture.