seL4_libs
seL4_libs copied to clipboard
Published
20 hours ago •
seL4
seL4
allocman: bootstrap_new_2level_simple clobbers the schedule control cap
(Imported from https://sel4.atlassian.net/browse/SELFOUR-2421) When a process is configured to use 2 level page table the following occurs:
error = sel4utils_configure_process(&p_app->process, &vka, &vspace, image_name)
Fails with.
<<seL4(CPU 0) [decodeCNodeInvocation/111 T0xffffff801ffca400 "host" @421b31]: CNode Copy/Mint/Move/Mutate: Sourc>
host: [email protected]:137 Failed to copy cap
Assertion failed: slot == SEL4UTILS_SCHED_CONTEXT_SLOT (../projects/seL4_libs/libsel4utils/src/process.c: sel4ut)
seL4 root server abort()ed
Debug halt syscall from user thread 0xffffff801ffca400 "host"
