# Using clangd for seL4 development

**URL:** <https://sel4.discourse.group/t/using-clangd-for-sel4-development/723>\
**Category:** seL4 kernel\
**Created:** [June 26, 2023, 7:38pm UTC](https://sel4.discourse.group/t/using-clangd-for-sel4-development/723 "2023-06-26T19:38:04Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![robert.vanvossen](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/robert.vanvossen/32/19_2.png) [@robert.vanvossen](https://sel4.discourse.group/u/robert.vanvossen)\
**Post date:** [June 26, 2023, 7:38pm UTC](https://sel4.discourse.group/t/using-clangd-for-sel4-development/723/1 "2023-06-26T19:38:04Z")

</div>

Wrote a blog on using clangd with seL4 during development. This is an LSP that ties into editors to allow for functionality like inline documentation, go to definition, go to reference, autocomplete, etc.

[https://dornerworks.com/blog/sel4-clangd/](https://dornerworks.com/blog/sel4-clangd/)