I cannot for the life of me figure out what I need to do to get wifi working on the verdex with the git repository. 
I've tried loading the libertas module, clearing/setting gpio80, etc.  Whatever I do, nothing is working.  pccardctl does not list the device either.
Any idea where to begin?  I've been away from it for a few months, the last time I was using the verdex I was running debian with bobby power's kernel patches to get wifi...