Remix.run Logo
UncleOxidant 3 hours ago

Oh, I see, so there's no way to boot a 32-bit Unikernel on "bare metal" then?

kcsrk an hour ago | parent [-]

We don't even have the capability to build a _32-bit_ Unikernel now! That said, we _can_ boot 64-bit MirageOS unikernels on baremetal platforms. We use this capability in FIDES, which boots MirageOS unikernels on a bare-metal, security-enhanced, soft-core RISC-V processor: https://kcsrk.info/papers/fides_asiaccs_2026.pdf.

OCaml 4.x does support 32-bit native compilation, and I don't think it should be too hard to be able to boot them in the browser using v86.