sel4

Most of the times when an invocation fails it calls userError to provide some additional diagnostics about what is going wrong.

However, there are a few places over the kernel where this is missed. It would be great to have this in all places.

As an extension it would be even better to include additional diagnostics information on the failure. For example:

    if (length < 6 || cur

Describe the bug
The SGX enclave entry functions for Sonora are not easily discoverable

To Reproduce
Try grepping for sinaloa_init_remote_attestation_enc in the project directory. You will find calls to it but not an implementation

Expected behaviour
To aide newcomers to the project, functions should be easy for them to find the implementations of.

Additional context

On PR, it'd be cool to have the style checker to only demand style corrections for the lines that were changed, and warn (but not demand a fix) for the rest of the file.

We basically need an intersection of diff lines: take all diff lines from the style checker diff that also occur in the PR diff.