SEL4 Specifies the platform that can be run and compiles it according to the following match.
ARCH |
PLAT |
ARMV |
CPU |
Arm |
Imx31 |
ARMv6 |
Arm1136jf-s |
Arm |
Omap3 |
Armv7-a |
Cortex-a8 |
Arm |
am335x |
Armv7-a |
Cortex-a8 |
Ia32 |
Pc99 |
|
|
After cloning from GitHub to the project, do the following:
If you encounter cc1:all warnings being treated as errors, find makefile in Cflags, plus-wno-unused-but-set-variable:
If the compilation succeeds, it should be the following result:
See what files are generated:
Fig 1 make before directory structure
Fig 2 make after directory structure
Fig 1 is a directory without make, and Fig 2 is the directory after make. More out of:
We need to select the correct QEMU run platform for the image and run the command:
There is no platform for SeL4 to run, and it seems that seL4 is not up and running in QEMU.
In addition, the SEL4 official documentation indicates that the following platforms can also run SEL4:
Intel platforms
- A pc99-style Intel Architecture 32-bit x86 (IA32)
- There is also experimental support for the 64-bit Intel x86_64 architecture.
ARM platforms
- The Arndale dual core A15 ARM Development Board
- The BeagleBoard, Omap 3530
- The Inforce IFC6410 Development Board, running a Qualcomm krait processor that's like an A15.
- The kzm-arm11-01. The kernel for this board is formally verified.
- The Odroid-x Exynos4412 Board
- The Odroid-xu Exynos 5 board
- The Sabre Lite i.mx6 board.
- The Beaglebone Black is a community-supported port.
However, the Odroid-xu Exynos 5 is compiled:
Toolprefix=arm-none-eabi-arch=arm plat=exynos5 armv=armv7-a Cpu=cortex-a15 make
Failed to succeed.
Copyright NOTICE: This article for Bo Master original article, without Bo Master permission not reproduced.
Compilation and operation of SeL4