[ptxdist] Platformconfig CPU architecture for x86_64

[Albert Antony]

Hi,

I am trying to build the kernel and userland for an x86_64 target using
PTXdist 2013.01.0 and the x86_64 OSELAS toolchain. Which CPU architecture
and optimization should I select in platformconfig? There isn't an x86_64
option there.

Thanks,
Albert.

-- 
ptxdist mailing list
ptxdist@pengutronix.de