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

Taeung <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
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 -
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.