Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ?

[Taeung]

Hello, L4 Hackers :-)

I'm trying to secure Ethernet environment on L4 Linux. (using Freescale 
imx6 SABRE SD board)

My board's Ethernet is 'Qualcomm Atheros AR8031-AL1A Gigabit Ethernet'.

I've found source code for Ethernet Driver.
Folder name is '/l4linux/drivers/net/ethernet/atheros'.

But, the folder only contain   'ATL1c' and  'ATL1e', 'ALX', 'ATLX'.
I guess 'atheros' driver in L4 Linux don't support my ethernet driver.

Is my guess right ?

- Taeung -