Re: [PATCH] Add Verneed and Vernaux

[Jose E. Marchesi]

Hello Mike.
Thanks for the patch.

What about also adding SHT_GNU_verneed, ELF_DT_VERNEEDNUM
and associated config entries?

It would be also nice to have these types documented in poke-elf.texi
in the chapter "ELF OSes".  I am struggling to finish the manual
so I can do a first release of the ELF pickles :)

> ---
>  elf-os-gnu.pk | 20 ++++++++++++++++++++
>  1 file changed, 20 insertions(+)
>
> diff --git a/elf-os-gnu.pk b/elf-os-gnu.pk
> index 3115945..d130cb9 100644
> --- a/elf-os-gnu.pk
> +++ b/elf-os-gnu.pk
> @@ -136,3 +136,23 @@ elf_config.add_enum
>  There are further extensions to p_type but currently they are all
>  architecture specific and should be documented in the relevant ABIs.
>  */
> +
> +type Elf_Verneed =
> +  struct
> +  {
> +    Elf_Half vn_version;
> +    Elf_Half vn_cnt;
> +    Elf_Word vn_file;
> +    Elf_Word vn_aux;
> +    Elf_Word vn_next;
> +  };
> +
> +type Elf_Vernaux =
> +  struct
> +  {
> +    Elf_Word vna_hash;
> +    Elf_Half vna_flags;
> +    Elf_Half vna_other;
> +    Elf_Word vna_name;
> +    Elf_Word vna_next;
> +  };