> 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`.

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to