Camkes-VM-Linux Ninja couldn't build file about camkes-vm-examples HOT 8 CLOSED

I'm not sure exactly what the issue with your version of GCC is but you will need at least GCC version 8 for seL4 projects, you can find the instructions for acquiring it on Ubuntu 18.04 here: https://docs.sel4.systems/projects/buildsystem/host-dependencies.html.

from camkes-vm-examples.

the version is 8.4.0 , is it fine or do i need to update or are there changes to be made somewhere else

from camkes-vm-examples.

The output has "The C compiler identification is GNU 7.5.0", it seems that it's not finding that version of GCC. You might need to run the update-alternatives command listed on the dependencies page.

from camkes-vm-examples.

The issue here is likely due to the host machine not having the 32-bit Linux standard libraries installed. The x86 VM uses a 32-bit guest Linux. In order to build a test program to run inside the guest, the host machine needs to have the build dependencies installed for building a 32-bit Linux binary.
The camkes docker containers should have these dependencies installed correctly. The relevant dpkg/apt installation commands are here (spin and acl are probably not needed for building 32-bit guests):
https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/blob/master/scripts/camkes.sh#L36-L46:

# Get dependencies
as_root dpkg --add-architecture i386
as_root apt-get update -q
as_root apt-get install -y --no-install-recommends \
    acl \
    fakeroot \
    linux-libc-dev-i386-cross \
    linux-libc-dev:i386 \
    pkg-config \
    spin \
    lib32stdc++-10-dev

from camkes-vm-examples.

@sriram-2: did this solve your problem, so we can clsoe this?

from camkes-vm-examples.

@axel-h yes it did, Thanks!
But im unable to input while running it and getting this as serial output
Any help would be great
Serial Output

Starting network[    0.810972] ip (679) used greatest stack depth: 6732 bytes left
: OK
Failed to locate device consumes_event.
Failed to locate device emits_event.
Welcome to Buildroot
buildroot login: [    1.431752] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x31015f85297, max_idle_ns: 440795334135 ns
[    1.442241] clocksource: Switched to clocksource tsc
[    2.811817] random: fast init done
[  134.023597] random: crng init done

from camkes-vm-examples.

What hardware platform is being used or is this on a simulator?

from camkes-vm-examples.