[PATCH] gpudev: export header file for external drivers

[Thomas Monjalon]

16/03/2023 10:23, David Marchand:
> On Thu, Mar 16, 2023 at 9:59 AM Thomas Monjalon <thomas at monjalon.net> wrote:
> >
> > In DPDK 21.05, the option driver_sdk_headers was introduced
> > to export required headers to allow building out-of-tree drivers.
> >
> > In DPDK 21.11, the gpudev driver class was introduced,
> > without this out-of-tree compatibility.
> >
> > It is fixed by exporting gpudev_driver.h as part of the driver SDK.
> >
> > Fixes: 8b8036a66e3d ("gpudev: introduce GPU device class library")
> > Cc: stable at dpdk.org
> >
> > Reported-by: David Marchand <david.marchand at redhat.com>
> > Signed-off-by: Thomas Monjalon <thomas at monjalon.net>
> 
> LGTM, thanks.

Applied