BeaglBoard X15 missing kernel driver info

Hi,

I have a Beagleboard X15, on which I have installed Xenomai/Cobalt: v3.07. For installing RTnet, I would like to know the kernel drivers in use by the ethernet interface.

$lspci -k
00:00.0 PCI bridge: Texas Instruments Multicore DSP+ARM KeyStone II SOC (rev 01)

There is no information on which kernel driver is loaded. Any ideas on how I can get the missing info?