# seL4 support for multicore fails to boot CPU 0x1:18446744073709551615 on ARM QEMU

**URL:** <https://sel4.discourse.group/t/sel4-support-for-multicore-fails-to-boot-cpu-0x1-18446744073709551615-on-arm-qemu/912>\
**Category:** seL4 kernel\
**Created:** [October 7, 2024, 8:11am UTC](https://sel4.discourse.group/t/sel4-support-for-multicore-fails-to-boot-cpu-0x1-18446744073709551615-on-arm-qemu/912 "2024-10-07T08:11:01Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![kent-mcleod2](https://avatars.discourse-cdn.com/v4/letter/k/34f0e0/32.png) [@kent-mcleod2](https://sel4.discourse.group/u/kent-mcleod2)\
**Post date:** [October 30, 2024, 10:59pm UTC](https://sel4.discourse.group/t/sel4-support-for-multicore-fails-to-boot-cpu-0x1-18446744073709551615-on-arm-qemu/912/2 "2024-10-30T22:59:20Z")

</div>

See [SMP on QEMU is failing - #2 by kent-mcleod2](https://sel4.discourse.group/t/smp-on-qemu-is-failing/916/2)

---

_[View the full topic](https://sel4.discourse.group/t/sel4-support-for-multicore-fails-to-boot-cpu-0x1-18446744073709551615-on-arm-qemu/912)._