'32bit Microblaze with HBM starting from 0x100000000

Has anyone tried connect 32bit MicroBlaze with HBM (High bandwidth memory) as main memory? On my platform HBM address is 0x100000000 size is 4G. I am trying to run Linux on it so the kernel will start from 0x100000000. In the first place is it possible to use 32bit MicroBlaze, but HBM address is higher than 4G?



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source