Hi, If you successfully build the system, you will have one image (containing seL4, the VMM, and Linux) in images/sel4arm-vmm-image-arm-exynos5 That is what you’ll want to load and run. The specific parts of what is in that image can be found in: build/kernel/kernel.elf - the kernel build/arm/exynos5/sel4arm-vmm/sel4arm-vmm.bin - the vmm build/arm/exynos5/sel4arm-vmm/archive.o - the cpio archive containing the linux kernel and dtb Note that sel4arm-vmm is quite outdated and we don’t support or test that anymore. If you are interested in an ARM VM, then I suggest looking at: https://github.com/SEL4PROJ/camkes-arm-vm-manifest Ihor

On 15 Apr 2017, at 9:46 am, 高文博 <18811004570@163.com> wrote:

hi everyone!

i am doing research about sel4.i used https://github.com/smaccm/sel4arm-vmm-manifest code. and complie it.than it build out kernel.elf only. but where is linux?

expecting your answers.

thanks very much!

gao.

-- 高文博 数据通信科学技术研究所 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel