Re: [PATCH] elf-os-gnu.pk: Add a few more dynamic tags

[Jose E. Marchesi]

Hello Mike.

Thanks for the patch.  I applied it on your behalf.

> ---
>  elf-os-gnu.pk | 10 ++++++++--
>  1 file changed, 8 insertions(+), 2 deletions(-)
>
> diff --git a/elf-os-gnu.pk b/elf-os-gnu.pk
> index 2082c86..6dfdc5e 100644
> --- a/elf-os-gnu.pk
> +++ b/elf-os-gnu.pk
> @@ -54,12 +54,18 @@ elf_config.add_enum
>  
>  /* GNU Dynamic tags. */
>  
> -var ELF_DT_VERNEED = 0x6fff_fffeU,
> +var ELF_DT_GNU_HASH = 0x6fff_fef5U,
> +    ELF_DT_VERSYM = 0x6fff_fff0U,
> +    ELF_DT_FLAGS_1 = 0x6fff_fffbU,
> +    ELF_DT_VERNEED = 0x6fff_fffeU,
>      ELF_DT_VERNEEDNUM = 0x6fff_ffffU;
>  
>  elf_config.add_enum
>    :class "dynamic-tag-types"
> -  :entries [Elf_Config_UInt { value = ELF_DT_VERNEED, name = "verneed" },
> +  :entries [Elf_Config_UInt { value = ELF_DT_GNU_HASH, name = "gnu-hash" },
> +            Elf_Config_UInt { value = ELF_DT_VERSYM, name = "versym" },
> +            Elf_Config_UInt { value = ELF_DT_FLAGS_1, name = "flags_1" },
> +            Elf_Config_UInt { value = ELF_DT_VERNEED, name = "verneed" },
>              Elf_Config_UInt { value = ELF_DT_VERNEEDNUM, name = "verneednum" 
> }];
>  
>  /* XXX GNU property type.