735b154abb
Relates to #168. The definition for `seL4_UntypedRetypeMaxObjects` lives in the UAPI `types.h` but appears to have no link to the value actually used by the kernel, which is configurable. This change sets the UAPI definition to the generated definition from the kernel config steps and defaults to the previous fixed value if, for some reason, the configured definition is not available. |
||
|---|---|---|
| .. | ||
| api | ||
| interfaces | ||
| sel4 | ||