1.1 riscv64-limine support

Ironclad supports RISC-V64 systems supporting the IMAC, ZICSR, D, and ZIFENCEI extensions.

A Limine protocol-compatible bootloader compliant is required, our recommendation is Limine, as it is the only available for RISC-V64 right now. Refer to your bootloader for instructions on where to put kernel images, configuration formats, and the like.

SBI support is required for Ironclad to properly work, other facilities like ACPI are optional.

For an example of RISC-V based deployment, check the boot sequence of Gloire, a FOSS Ironclad distribution.