TII seL4 VM extensions and examples

Name		Name	Last commit message	Last commit date
Latest commit History 192 Commits
apps/Arm		apps/Arm
configurations/tii		configurations/tii
docs		docs
hardware/rpi4/dts		hardware/rpi4/dts
include		include
src		src
templates		templates
CMakeLists.txt		CMakeLists.txt
Findtii-camkes-vm.cmake		Findtii-camkes-vm.cmake
Makefile.tii_sel4_build		Makefile.tii_sel4_build
README.md		README.md
easy-settings.cmake		easy-settings.cmake
settings.cmake		settings.cmake
tii_camkes_vm_helpers.cmake		tii_camkes_vm_helpers.cmake

Provide feedback