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, 高文博 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
