Hi Amit,

We added a SIMULATION option to the camkes-vm-examples project today.  
To update the project with the new changes:
repo sync
then in the build directory, the following call will reconfigure the build for 
a simulated target:
"cmake -DSIMULATION=ON ." (This requires an already initialised build 
directory. If reinitialising from scratch then the following command can be 
used: "../init-build.sh -DCAMKES_VM_APP=minimal -DSIMULATION=ON")
"ninja"
This should then give you a ./simulate script, and build the kernel with 
features that are supported by qemu.
(You may need sudo for the ./simulate call)
./simulate --machine q35,accel=kvm,kernel-irqchip=split --mem-size 2G 
--extra-cpu-opts "+vmx" --extra-qemu-args="-enable-kvm -device 
intel-iommu,intremap=off -net nic,model=e1000 -net tap,script=no,ifname=tap0"

Does this fix your problem?

Kind regards,
Kent

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

Reply via email to