Genode IDE ?

Hello Everyone,

Does anyone use an IDE for developing in Genode?

If so, which one? How do you like it? Do you have any configuration and/or usage hints you can share?

If not, are you interested? What is your favorite IDE candidate?

I don't have any experience with integrating a new platform into an IDE, but it doesn't seem like it should be an insurmountable task (especially for someone who knows what they are doing :^) ). And it seems like it would make it easier for newcomers to explore the APIs.

Just curious...

Happy Sculpting!