search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

allocman: bootstrap_new_2level_simple clobbers the schedule control cap #54

Open kent-mcleod opened 2 years ago

kent-mcleod commented 2 years ago

(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: sel4utils_copy_path_to_process@process.c: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"