Module linker 

ELF → JAVM Image.

The ELF parsing and the whole RV→PVM2 rewrite live in [nub_linker]: they are ISA work with no capability content. What remains here is the JAVM-specific half — wrapping the resulting [ProgramBlob] in the cap shape.

Functions

image_from_blob

Wrap a personality-free [ProgramBlob] in the JAVM cap shape.

link_elf

Link an RV ELF into a PVM2 [Image]. Image::code holds the raw RV+C+custom-0 bytes, mapped read-only at CODE_BASE by the runtime.