x86_64 support?

Jan Sommer soja-lists at aries.uberspace.de
Thu Feb 9 14:29:46 UTC 2017


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


More information about the devel mailing list