We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Follow-up from #95 (comment)
Since the kernel's one private config header are public now (see https://github.com/seL4/seL4/blob/master/libsel4/include/sel4/config.h#L96), the define ENABLE_SMP_SUPPORT can be used in the ELF-Loder code also instead of checking CONFIG_MAX_NUM_NODES > 1. So we could replace this everywhere to align the code.
ENABLE_SMP_SUPPORT
CONFIG_MAX_NUM_NODES > 1
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Follow-up from #95 (comment)
Since the kernel's one private config header are public now (see https://github.com/seL4/seL4/blob/master/libsel4/include/sel4/config.h#L96), the define
ENABLE_SMP_SUPPORTcan be used in the ELF-Loder code also instead of checkingCONFIG_MAX_NUM_NODES > 1. So we could replace this everywhere to align the code.The text was updated successfully, but these errors were encountered: