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.
2 Likes