1.3 riscv64-limine support

Ironclad supports RISC-V64 systems supporting the IMAC, ZICSR, and ZIFENCEI extensions using the Limine boot protocol, which as of time of writing depends on UEFI support being present, but this might change in the future. The machines running Ironclad are required to provide a device tree blob (DTB).

Refer to your limine compliant bootloader for instructions on where to put kernel images, configuration formats, and the like.

For supported devices and how they are abstracted, riscv64-limine devices