Module Abi_riscv_program_header_tableSource

abi_riscv_program_header_table, program header table specific definitions * for the RISCV ABI.

New segment types.

Sourceval string_of_abi_riscv_elf_segment_type : 'a -> string

string_of_abi_riscv_elf_segment_type m produces a string based representation * of RISCV segment type m.

Sourceval abi_riscv_is_valid_program_interpreter : string -> bool

abi_riscv_is_valid_program_interpreter s checks whether the program interpreter * string is valid for RISCV ABI. * See Section XXX FIXME