install TC13 to a UEFI 64bit laptop?

[puppybyte!]

I have a 64bit laptop with Celeron CPU, running UEFI bios with 2G of RAM.  I installed CorePlus-current.iso to a USB stick with dd command and it boots fine in a 32bit laptop, but does not seem to boot from 64bit UEFI bios.  Is this possible? I have not been able to use 64bit TC before so I would rather stick with 32bit.

thanks,

[Juanito]

It is possible to boot both 32/64-bit tinycore using 64-bit uefi.

There are several posts about this in these forums and you could also take a look at the grub2-multi info file in the 64-bit repo.