None that I'm aware of. You'd have to contact Verizon.
As for "rigging 32 bit" to work? No such animal is possible. You'll have to
have drivers that are 64bit.

Signature
Charlie.
http://msmvps.com/xperts64
I thought I read somewhere about "decorating" a 32-bit driver to look like a
64-bit driver.
> None that I'm aware of. You'd have to contact Verizon.
>
[quoted text clipped - 3 lines]
>> Is there any Verizon broadband EVDO drivers for 64 bit available or any
>> way to rig the 32 bit driver to 64 bit?
Aaron Kelley - 31 Oct 2006 13:59 GMT
You cannot use a 32-bit device driver on a 64-bit Windows system... That's
all there is to it.
- Aaron
>I thought I read somewhere about "decorating" a 32-bit driver to look like
>a 64-bit driver.
[quoted text clipped - 6 lines]
>>> Is there any Verizon broadband EVDO drivers for 64 bit available or any
>>> way to rig the 32 bit driver to 64 bit?
Tony Sperling - 31 Oct 2006 14:18 GMT
I don't know if I can explain this. I've heard of that too, but that example
didn't cover a driver. It was an example of decorating an *.INF file to make
it install on the system. This [can] work for very few items as long as they
do not rely on actual 'driver' functionality. Anything with that kind of
functionality will have to be compiled for the system, and in reality not
just drivers do this - some apps and games make system calls from within
their own environment that must be compiled for the actual system - thus,
some apps will install perfectly and then refuse to run! There is nothing
you can do about that.
Tony. . .
> I thought I read somewhere about "decorating" a 32-bit driver to look like a
> 64-bit driver.
[quoted text clipped - 6 lines]
> >> Is there any Verizon broadband EVDO drivers for 64 bit available or any
> >> way to rig the 32 bit driver to 64 bit?
Graham - 31 Oct 2006 16:54 GMT
> I thought I read somewhere about "decorating" a 32-bit driver to look like a
> 64-bit driver.
This can work when it involves a standard driver. For example, some USB
devices have a .inf which uses the standard XP driver, but because the
vendor supplied .inf file isn't setup for x64, it won't work. Once
you've tweaked that .inf file, the appropriate x64 USB driver can be
used. It gives the impression that a 32-bit driver has been made to work
in x64, but in reality, that isn't what happened at all.
I did this for my 'phone, and Bluetooth dongle, and they work just fine.
Graham.