Andy Bui
Andy Bui
### Brief summary Currently, seL4 treats the FPU as part of the thread context, saved in the TCB on preemption. As FPU state is large, the kernel uses lazy switching...
**Summary:** initial support for the NVIDIA Jetson Orin I'm currently tidying up the elfloader and libplatsupport changes, but the kernel port is mostly ready to be reviewed. **sel4test results** no-MCS...
Currently, the semantics of `ipi_send_target()` allows it to handle multiple IPI targets at once. However, this is not actually used in practice. `generic_ipi_send_mask()`, which calls `ipi_send_target()`, essentially breaks down the...
This might not be a big problem, but it's just something I've encountered while debugging the kernel. Between the elfloader jumping to the kernel and mapping the kernel window, printing...
I was tinkering with the kernel and ran into this: ``` ELF-LOADER: Synchronous exception received: esr_el1: 96000005 elr_el1: ffffff80800114b4 spsr_el1: 200003c5 far_el1: ffffffffffe00000 abort() called. ``` The FAR is coincidentally...
In the IPI remote call paths where target nodes enter the kernel under the protection of the calling core's BKL, the scheduler may be invoked after handling the interrupt. The...
When only one thread is running on a node, `NODE_STATE(ksFPURestoresSinceSwitch)` will steadily increase until it reaches `CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH`, falsely assuming that the thread is not using the FPU, disabling the FPU,...
See: https://github.com/seL4/seL4_projects_libs/pull/86 Note: I've extended the number of interrupts supported from 16 to 20. I've selected to have 4 APIC interrupts to be conservative with notification badges, but if anyone...
As mentioned in https://github.com/seL4/seL4_tools/pull/190, this is the series of commits that do general touch-ups in the elfloader. This should reduce the Jetson Orin PR to 1 commit, and the aarch64...
Elfloader portion of the Jetson Orin port effort (https://github.com/seL4/seL4/pull/1135) This patch set is quite big and might be hard to review, if the reviewers would like me to break this...