Gerwin Klein
Gerwin Klein
Do not merge.
This PR collects updates to make the CAmkES tests pass with gcc-14. The major difference is that `-Werror=implicit-function-declaration` is now default, which causes a few existing warnings to be promoted...
- each hardware platform now declares a list of verified configs (empty if no verification, one or more of ARM, ARM_HYP, AARCH64, RISCV64, X64 otherwise; can be extended with other...
In the docsite redesign we removed the duckduckgo search bar. The plan is to replace it with a custom search bar. Current ideas for this are roughly - use something...
In #1552 the preprocess test succeeded, but the proofs are failing for imx8mm (GICv3 platform), because a GICv3 proof relevant value changed. This is insufficient, the preprocess test must fail...
This adds support for SMC (Secure Monitor Calls), see also [RFC-9](https://sel4.github.io/rfcs/implemented/0090-smc-cap.html). Currently, this forces `KernelAllowSMCCalls` to be ON for AArch64 builds. The plan is to remove all SMC ifdefs in...