Is there a technical reason it only supports x86_64, riscv64, and not arm64? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		liamkinne 32 days ago \| parent \| context \| favorite \| on: Ironclad – formally verified, real-time capable, U... Is there a technical reason it only supports x86_64, riscv64, and not arm64?

rurban 32 days ago [–]

There were a bunch of ports, like arm64, but with several bugs. So the maintainer removed all but x86_64, and then another group added risc64. From there arm64 can be tried again

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact