These include files are deprecated for a long time already.

Signed-off-by: Axel Heider <axelheider@gmx.de>

Signed-off-by: Axel Heider <axelheider@gmx.de>

There we assert that the only file type admitted is FILE_TYPE_CPIO,
however libsel4camkes implements support to FILE_TYPE_SOCKET.

Signed-off-by: Carmelo Pintaudi <carmelo.pintaudi@hensoldt-cyber.de>

- Use seL4_Word printf modifier for seL4_CPtr type.
- Cast return value to (seL4_Error) as the API defines custom error
  codes starting after the seL4_Error enum finishes.

Signed-off-by: Kent McLeod <kent@kry10.com>

Use the correct libsel4 print modifier for the seL4 type.

Signed-off-by: Kent McLeod <kent@kry10.com>

Clang warns that this attribute was being ignored.

Signed-off-by: Kent McLeod <kent@kry10.com>

ARMv6 is no longer supported.

Signed-off-by: Kent McLeod <kent@kry10.com>

Remove support for ARMv6 and the only CPU we support for that
architecture. This is because support is being removed from the kernel
after removal of the only ARMv6 platform, kzm/imx31.

Signed-off-by: Kent McLeod <kent@kry10.com>

This repository is not yet fully style-clean, and the policy is to
update files as we touch them, not in one big go. Until we have reached
a fully style-clean state, we should check only the diff on push, not
all files.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Ben Leslie <benno@brkawy.com>

If the cycle counter is disabled during a read, the operation can be
preempted and lose the count of cycles for the duration of the
preemption.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>

A kernel bug previously always cached EPT page regardless of the
cacheable flag. When the bug was fixed, this function would always map
EPT pages as uncacheable, due to the attributes difference between an
EPT map and a normal page map. This commit checks if the function is
mapping an EPT and provides the proper cache attribute to the kernel.

Signed-off-by: Chris Guikema <chris.guikema@dornerworks.com>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

The trigger action sends repository_dispatch events to all
main test repositories of the manifests this repo is part of.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

The function vspace_map_io() is only used when CONFIG_IOMMU is defined,
thus the clang build warning "control reaches end of non-void function
[-Wreturn-type]" can be avoided easily when this function only exists
when it is needed.

Signed-off-by: Axel Heider <axelheider@gmx.de>

Signed-off-by: Axel Heider <axelheider@gmx.de>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

This elfloading implementation guarantees that it doesn't leave
allocations behind in the loader allocators even if it fails. Fix area
where this doesn't occur.

Signed-off-by: Kent McLeod <kent@kry10.com>

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>

Update the documented order of the vspace_root parameter
so that it matches the function signature

Signed-off-by: Kent McLeod <kent@kry10.com>

On RISC-V platforms, perform an instruction fence after copying the text
segment into a new vspace. We need to make sure the text segment is
written back from the L1D$ to main memory and visible to the I$.

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>

Signed-off-by: Axel Heider <axelheider@gmx.de>

Print the colon after the register name.

Signed-off-by: Axel Heider <axelheider@gmx.de>

Add const qualifier wherever applicable and fix existing usage to
do it properly.

Signed-off-by: Axel Heider <axelheider@gmx.de>

This allows sel4bench for be build for RasPi4

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>