Arya Stevinson

libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject

3

The size bits for a untyped retype to `seL4_CapTableObject` are calculated incorrectly when using `vka_untyped_retype` - `seL4_SlotBits` is added once in vka: https://github.com/seL4/seL4_libs/blob/fcabdef37016cd568a40c82e0d97a264b86ee6d4/libsel4vka/include/vka/capops.h#L130 - And it is added again during...

seL4_X_ASIDControl in manual: incorrect number of VSpaces

1

The manual's API entries for `seL4_RISCV_ASIDControl`, `seL4_X86_ASIDControl`, and `seL4_ARM_ASIDControl` all state "This will create an ASID pool with enough space for 1024 VSpaces." https://github.com/seL4/seL4/blob/c679fe77d6441cd412dd253d953ee833dd25d740/libsel4/arch_include/arm/interfaces/object-api-arch.xml#L433-L443 This is not true for all...

Using [`bootstrap_new_simple`](https://github.com/seL4/seL4_libs/blob/fcabdef37016cd568a40c82e0d97a264b86ee6d4/libsel4allocman/src/bootstrap.c#L1161) from `libsel4allocman` did not work properly on MCS kernel, because it was not transferring the scheduling control caps to the new CSpace. This was due to `bootstrap_transfer_caps_simple` using...