# Questions about SMP

**URL:** <https://sel4.discourse.group/t/questions-about-smp/531>\
**Category:** seL4 kernel\
**Created:** [June 21, 2022, 2:27pm UTC](https://sel4.discourse.group/t/questions-about-smp/531 "2022-06-21T14:27:54Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![axel](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/axel/32/43_2.png) [@axel](https://sel4.discourse.group/u/axel)\
**Post date:** [June 21, 2022, 2:59pm UTC](https://sel4.discourse.group/t/questions-about-smp/531/2 "2022-06-21T14:59:50Z")

</div>

Didn’t you ask this in [Scheduling in smp configuration](https://sel4.discourse.group/t/scheduling-in-smp-configuration/503) already? Can you be more specific, what information is still missing from the answers there?

---

_[View the full topic](https://sel4.discourse.group/t/questions-about-smp/531)._