Hello,
As far as I see there is no support for x86_64 yet. I found that there
was a GSoC proposal to add BSP for the architecture, but I am not sure
if it was accepted.
Does someone know what is the current status of 64bit support and what
would be missing for a working BSP with a PCI and clock driver?
Best regards
Jan