Somebody in the thread at some point said:

quoted

Sure I will try it tonight, where should I go to get it?  The
only trees with "libertas" in the name on git.kernel.org don't
seem to be the ones.

My driver is for sure in the libertas-dev tree from the OLPC 
people. The SVN project that contains the firmware cutter also 
contains code to checkout this tree and select the proper branch 
in this tree.

Hi Holger -

Well it seems the libertas_cs driver supports PCMCIA only?  The device I
have is a PC Card which uses PCI semantics... at least I added the ID
11ab:1faa to if_cs.c and nothing good happened when I inserted the
module and the PC Card.

Or maybe I didn't get the idea?

-Andy