We currently use custom rust target via https://github.com/hyperlight-dev/cargo-hyperlight See https://docs.google.com/document/d/1UuNGyCJS8TPpMWM3v9GEMri_S8MmxwXZaW-zeZ323-E/edit?tab=t.0#heading=h.ijf3r01x1ok3 for background
We currently use custom rust target via https://github.com/hyperlight-dev/cargo-hyperlight
See https://docs.google.com/document/d/1UuNGyCJS8TPpMWM3v9GEMri_S8MmxwXZaW-zeZ323-E/edit?tab=t.0#heading=h.ijf3r01x1ok3 for background