CtrlZ233

Is `bitmap_length` need to add one when `num_slots % BITS_PER_WORD != 0`?

1

https://github.com/seL4/seL4_libs/blob/24921e85cc0b7ce1028a78dce638c46d8ecfc613/libsel4allocman/src/cspace/single_level.c#L24

Running test under SMP conditions on spike platform gets stuck.

2

The build command is as follows: ```shell ../init-build.sh -DPLATFORM=spike -DSIMULATION=TRUE -DSMP=1 -DKernelMaxNumNodes=2 && ninja ./simulate ``` The qemu emulator is stuck in the following place: ``` ./simulate: QEMU command: qemu-system-riscv64...