Indan Zupancic
Indan Zupancic
Since commit 59a08cd7d632bb2394a29956497dfe7829099997, which is part of [Split region permissions into M-mode and SU-mode](http://lists.infradead.org/pipermail/opensbi/2023-January/004127.html) MTIME is M-mode only. This breaks OSes that read MTIME directly to avoid the overhead of...
Run sel4test on at least one configuration with `KernelLAPICMode=X2APIC`, either on real hardware or in qemu. See also [this](https://github.com/seL4/seL4/pull/1056) seL4 pull request.
If this test fails, TIMER_OVERHEAD_TICKS may not be set correctly for the platform. Needs seL4 pull #847 applied to pass. Signed-off-by: Indan Zupancic
A whole review of the seL4 manual has been performed. The main objective was to add missing documentation, fix wrong or misleading information, check for consistent use of page and...
Implementation of the [FPU RFC](https://sel4.github.io/rfcs/active/0180-fpu-switching.html). Simplest version of semi-lazy FPU switching. Still work in progress, but in good enough shape for wider review. For previous development, see [here](https://github.com/Indanz/seL4/pull/1/). TODO: -...
What is the correct value as input to the kernel/tools/reciprocal.py script? The value in HZ or the value in MHz? For example, for `TIMER_FREQUENCY 24000000`: - am335x, exynos4/5 have `CLK_MAGIC...
Couldn't we just use what AARCH64 does, put the CPU index in the unused lower bits of TPIDRPRW? _Originally posted by @axel-h in https://github.com/seL4/seL4/pull/871#discussion_r1967671082_ And HPTIDR for HYP. Alternatively, retrieve...
In addition to seL4_TCB_SetTLSBase, some platforms also have a seL4_SetTLSBase syscall, which currently isn't documented at all.
Currently it is theoretically possible to indefinitely starve other equal priority tasks. Opening this issue before I forget about it. From my mattermost discussion about #902 with Gernot: Another thing...