seL4_libs
seL4_libs copied to clipboard
seL4
No-assurance libraries for rapid-prototyping of seL4 apps.
On i.MX6/sabre is prints this now: ``` Node 0 of 1 IO-MMU PT levels: 0 initial thread domain: 0 root cnode size: 2^13 (8192) IPC buffer: 0x14a000 shared pages: none...
Support new PMU event numbers for the Morello CPU. The first part of the numbers are from Neoverse N1 TRM [1] which the Morello CPU is based on, while the...
It seems the commit from the branch `df-public` (https://github.com/seL4/seL4_libs/tree/df-public) has been merged at 7501c848, so the branch should be moved there or deleted.
allocman: fix build warning on native X86 simulate ``` archer@c:~/code/sel4/build-x86$ ninja [1/6] Building C object apps/sel4test-driver/seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/allocman.c.obj In file included from /home/archer/code/sel4/projects/util_libs/libutils/include/utils/util.h:46, from /home/archer/code/sel4/projects/seL4_libs/libsel4utils/include/sel4utils/util.h:13, from /home/archer/code/sel4/projects/seL4_libs/libsel4allocman/include/allocman/util.h:20, from /home/archer/code/sel4/projects/seL4_libs/libsel4allocman/include/allocman/allocman.h:51, from /home/archer/code/sel4/projects/seL4_libs/libsel4allocman/src/allocman.c:7: /home/archer/code/sel4/projects/seL4_libs/libsel4allocman/src/allocman.c:...
libsel4utils: remove unused environment setup It is unnecessary to writing environment to the stack since the target environment size is always 0. This PR also fix compile warning on native...
Wire up simple->irq_trigger to seL4_IRQControl_GetTrigger on risc-v. This allows risc-v drivers in libplatsupport to register edge-triggered interrupts. **Purpose**: Ready to merge **Context**: Needed for the [star64 timer driver](https://github.com/Ivan-Velickovic/util_libs/tree/star64/libplatsupport/src/plat/star64/ltimer.c) that will...
https://github.com/seL4/seL4_libs/blob/24921e85cc0b7ce1028a78dce638c46d8ecfc613/libsel4allocman/src/cspace/single_level.c#L24
I'm so confused that when I try to use open() as I did in Linux but it seems like the open() call only supports O_RDONLY. Is there a way to...
This makes it possible to set the badge and rights of the fault and timeout handler caps while configuring a TCB. See https://sel4.atlassian.net/browse/RFC-11 for more information about this proposal.
