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.