Community

On this site

Go back to the homepage
Community
Development information
Donations
Build Reproducibility
Supported Hardware
Formal Verification
User support and documentation
Code of Conduct
About this site

External links

Savannah site
Git development repository
Mailing lists

There are several places where one can talk about Ironclad, be it for development, talking about bugs, or just chitty chatter. This page lists official channels of communication, that is, channels that comply with the conduct and communication guidelines of the project.

Discord

There's an official discord server (proprietary software!).

https://discord.gg/uTughVXwbd.

Matrix

There's an official matrix server hosted at ironclad:matrix.org.

Mailing lists

Ironclad has several mailing lists hosted on GNU savannah:

Presentations

Check these presentations about Ironclad!