Hi Tim,
Do you have a copy of the QEMU ARM emulator (qemu-system-arm)?
There are some scripts [1] in the kernel repository which uses the emulator to generate a copy of the DTS and DTB of the platform.
Note that for the qemu-arm-virt platform, the minimum required version of QEMU is 4.1.1.
Regards,
Damon
[1] https://github.com/seL4/seL4/blob/master/src/plat/qemu-arm-virt/config.cmake...
________________________________
From: Devel on behalf of Yates, Tim
Sent: Thursday, 14 May 2020 8:55 PM
To: devel@sel4.systems
Subject: [seL4] Help with creating a new project
Hi,
I am attempting to create a new CAmkES project. So far I have used the https://github.com/seL4/camkes-manifest.git repository and the https://github.com/SEL4PROJ/camkes-arm-vm-manifest repository and placed my .camkes file and components into the respective app folders for each. I then attempt to initialise my project as instructed here https://docs.sel4.systems/projects/camkes/ but it fails. It gives me the following error:
hardware_gen.py: error: argument --dtb: can't open '/workspaces/microimpexor/seL4_build/build/kernel/kernel.dtb': [Errno 2] No such file or directory: '/workspaces/microimpexor/seL4_build/build/kernel/kernel.dtb'
I am initialising my project with the following command:
../init-build.sh -DPLATFORM=qemu-arm-virt -DAARCH32=1 -DCAMKES_APP=appname -DSIMULATION=1
Some assistance on this matter would be greatly appreciated.
Regards
Tim Yates
________________________________________
Roke Manor Research Limited, Romsey, Hampshire, SO51 0ZN, United Kingdom.Part of the Chemring Group.
Registered in England & Wales. Registered No: 00267550
http://www.roke.co.uk
_______________________________________
The information contained in this e-mail and any attachments is proprietary to Roke Manor Research Limited and
must not be passed to any third party without permission. This communication is for information only and shall
not create or change any contractual relationship.
________________________________________
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
