seL4_libs
seL4_libs copied to clipboard
seL4
No-assurance libraries for rapid-prototyping of seL4 apps.
(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. ```
(Moved from https://sel4.atlassian.net/browse/SELFOUR-2429) A vspace_t manages memory allocations for a virtual address space and also handles mapping frames into these allocations. libsel4utils provides a vspace implementation that can be bootstrapped...
(Imported from https://sel4.atlassian.net/browse/SELFOUR-2440) It directly assumes it is managing a sel4 userlevel virtual address space with a kernel window at the top and rejects any mappings that would normally fall...
hi In sync_cv_broadcast_release it will call sync_bin_sem_post before seL4_Signal. But In sync_cv_wait, sync_bin_sem_wait(lock) is called after seL4_Wait, when call sync_bin_sem_post in sync_cv_broadcast_release, it will make "lock->value == 2", it will...
This adds simple helpers to allocate and map a log buffer as well as dumping the contents of the logbuffer as a CBOR element to a base64 stream. Depends on...
See my pull request https://github.com/seL4/seL4_libs/pull/19 why this would be a useful. Is there a ways that parts of it could be made available in the seL4 API headers?
ARMv7 currently disables cycle counters while reading the cycle counter values. If the task reading the values is preempted during the read than all time during the preemption is not...
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...
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...