# Secure mode seL4 builds for ARM

**URL:** <https://sel4.discourse.group/t/secure-mode-sel4-builds-for-arm/78>\
**Category:** seL4 kernel\
**Created:** [March 29, 2019, 4:25am UTC](https://sel4.discourse.group/t/secure-mode-sel4-builds-for-arm/78 "2019-03-29T04:25:34Z")\
**Posts on this page:** 1\
**Showing post:** 5

<div class="post-metadata">

**Author:** ![kent-mcleod2](https://avatars.discourse-cdn.com/v4/letter/k/34f0e0/32.png) [@kent-mcleod2](https://sel4.discourse.group/u/kent-mcleod2)\
**Post date:** [November 23, 2020, 2:07am UTC](https://sel4.discourse.group/t/secure-mode-sel4-builds-for-arm/78/5 "2020-11-23T02:07:56Z")

</div>

This is a relevant pre-RFC: [Pre-RFC: TrustZone support on AArch64](https://sel4.discourse.group/t/pre-rfc-trustzone-support-on-aarch64/250)

---

_[View the full topic](https://sel4.discourse.group/t/secure-mode-sel4-builds-for-arm/78)._