For SeL4 support, we handle the additional parameters passed by the OS.
The additional parameters are all physical addresses (of runtime and eapp),
which is needed by SeL4 for calculating the offset.
These are not included in the measurement.
Instead, we check if the values are legit using is_create_args_valid.
I removed all the internal functions from the header file (enclave.h), because it should not be called in the other files. 3 of them left in the header, since they're used in sm-sbi.h
The last commit switches the order of SBI functions and the internal functions such that the internal functions could be called by SBI functions.
Please review the last commit separately.
For SeL4 support, we handle the additional parameters passed by the OS. The additional parameters are all physical addresses (of runtime and eapp), which is needed by SeL4 for calculating the offset. These are not included in the measurement. Instead, we check if the values are legit using
is_create_args_valid.I removed all the internal functions from the header file (enclave.h), because it should not be called in the other files. 3 of them left in the header, since they're used in sm-sbi.h The last commit switches the order of SBI functions and the internal functions such that the internal functions could be called by SBI functions.