Support for 64bit devices??

[sg-]

Has there been any consideration for devices that have an address space greater than 4GB?

[mmoskal]

This has so far been out of scope. You could use Extension Tags to define the upper 32 bits of the address.