[dpdk-dev] [PATCH v3 00/13] kill global pci device id list

David Marchand david.marchand at 6wind.com
Thu Apr 21 10:07:51 CEST 2016


On Wed, Apr 20, 2016 at 2:43 PM, David Marchand
<david.marchand at 6wind.com> wrote:
> - not storing the pci ids in a dedicated section anymore, pci drivers are
>   exported and parsed by a quickly written (and naive) tool

Rethinking about this, this part won't do.
Stripping symbols breaks it, and I had to go some gymnastics to get
the symbols, while having exported information sanitised as strings in
a dedicated section constructed at build time would be saner.
Yes, this really sounds like modinfo ...

Volunteers ?


-- 
David Marchand


More information about the dev mailing list