Ironclad User’s Guide

This manual documents usage of Ironclad, interfaces and devices it exposes to userland, and discusses kernel internals, without having to navigate the often cryptic and scary Ada code.

Copyright © 2023 streaksu

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled “GNU Free Documentation License”.

Table of Contents