This package provides recipes to build a variety of L4Re demos. It consists of the main L4Re components and a number of guests, namely Linux, Zephyr and FreeRTOS.
To build the demos you need the BobBuildTool. The recommended way is to install via pip:
$ pip3 install --user BobBuildTool
Make sure that ~/.local/bin is on your $PATH.
As first-time setup, you must fetch the layers that this repsitory is using:
$ bob layers update
To view the available example plaforms, do a bob ls:
$ bob ls
examples-amd64
examples-arm-fvp_base_r
examples-arm-qemu_virt
examples-arm64-fvp_base_r
examples-arm64-qemu_virt
examples-arm64-sbsa
...
Under each of the platforms, a number of examples are available:
$ bob ls -d "examples-amd64/examples::*"
examples-amd64/examples::hello
examples-amd64/examples::ipcbench
examples-amd64/examples::linux-vm-multi
examples-amd64/examples::linux-vm-single
The demos are built by invoking bob, e.g.:
$ bob dev --dev-sandbox examples-amd64/examples::hello -j
If the example can be run in an emulator, there will be a "launch" file next to it. Just execute it to run the demo:
$ bob dev --dev-sandbox examples-amd64/examples::hello -j
[...]
Build result is in dev/dist/examples/hello/1/workspace
$ dev/dist/examples/hello/1/workspace/bootx64.efi.launch
In this particular example, Qemu is supposed to be installed on your computer.
Other demos require that the the Arm Fixed Virtual Platform emulator is
available in $PATH. The FVP can be downloaded for free from the Arm
Architecture Models
website. Make sure
to download the Armv8-R AEM FVP model. Just extract the archive somewhere and
add the models/Linux64_GCC-9.3 directory to your $PATH.
Detailed licensing and copyright information can be found in the LICENSE file.