x86_64 is supported or it is not...?

[hugusmaximus]

Hi!

I'm trying to build the x86_64 example because I can read:

"Boot images/kernel-x86_64-pc99 and images/capdl-loader-experimental-image-x86_64-pc99"

anyway, whenever I try to build x86_64 with:

../init-build.sh -DCAMKES_VM_APP=vm_minimal -DPLATFORM=x86_64

or

../init-build.sh -DCAMKES_VM_APP=vm_minimal -DPLATFORM=x86

or

../init-build.sh -DCAMKES_VM_APP=vm_minimal

all of them fail with this error:

hugo@anakin:~/camkes-vm-examples/build$ ../init-build.sh -DCAMKES_VM_APP=vm_minimal 
loading initial cache file /home/hugo/camkes-vm-examples/projects/vm-examples/settings.cmake
CMake Error at apps/Arm/vm_minimal/settings.cmake:9 (message):
  PLATFORM: x86 not supported.                                                                                                      

           Supported: tk1;tx1;tx2;exynos5422;qemu-arm-virt;odroidc2                                                                 
Call Stack (most recent call first):                                                                                                
  settings.cmake:67 (include)                                                                                                       

-- Configuring incomplete, errors occurred!

So, documentation is referencing a "kernel-x86_64-pc99" kernel, which looks like a x86_64 platform, but at the very beginning it says "x86_64 (coming)". Not sure if there's support and if not, should the documentation be fixed to avoid confusion? Best,

[lsf37]

The magic incantation for x64 is ../init-build.sh -DCAMKES_VM_APP=minimal_64 and for ia32/x86: ../init-build.sh -DCAMKES_VM_APP=minimal.

The README should definitely be updated to make that clearer.

[hugusmaximus]

Yes, the "minimal_64" incantation worked ! :-) Maybe not only the documentation but also the build artifacts should be updated as they state "Supported: tk1;tx1;tx2;exynos5422;qemu-arm-virt;odroidc2 ".