Re: [seL4] (no subject)

can someone help me here what did i do wrong ,i have been trying to do camkes-vm-linux and i have followed the instruction  on sel4-tutorials when i run ninja to build the file i have got an error as below

and why this happing Hi,

It seems that there are incompatible libraries that are trying to be built? Does the issue still occur if you have a fresh checkout of the tutorials? Calling `repo sync` in the project directory may be sufficient to update everything, otherwise you would need to reinitialize a new project with `repo init`.