PCIe Driver support for ARM on Xavier NX

Dear All,

can you tell how can we check and where if the PCIe Asmedia Packet switch driver is supported on latest L4T 32.4.2 ( Ubuntu 18.04 kernel 4.9?

Best Regards.

Which kernel symbol would this device use normally? Then compare to the running system’s “/proc/config.gz”. Example, to search for “packet” (since I don’t know the symbol of this kernel driver):
zcat /proc/config.gz | egrep -i 'packet'