Ironclad supports RISC-V64 systems supporting the IMAC, ZICSR, D, SVPMBT, 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. SV39, SV48, and SV57 paging modes are supported, with the system defaulting to SV57 if available.
Early debugging info is printed through SBI, which you will need to connect
to. Most boards use UART for this, like the MilkV Jupiter board, which can
have its UART connected and have early kernel logs read with
screen /dev/<serial device> 115200.