Jorge Pereira
Jorge Pereira
- Support handling multiple EOIed LRs per IRQ - clean up for simplicity and readibility in the kernel side This patch requires: https://github.com/seL4/seL4_projects_libs/pull/105 Signed-off-by: JorgeMVP
Sharing some thoughts about what would be nice to see implemented in seL4, to increase the efficiency of virtualization use-cases for IRQs specifically. @axel-h @kent-mcleod @lsf37 **Kernel IRQ-level:** - Separation...
AT instructions uses the PAR_EL1 to read the result translation from a VA to PA. First problem: Kernel at VMFault uses PAR_EL1 and propagates the result to user space. The...
- Supports handling multiple EOIed IRQs per fault IPC msg. This patch depends on: https://github.com/seL4/seL4/pull/1046 Signed-off-by: JorgeMVP
Remove duplicated code: IPI_MEM_BARRIER and ipi_send_target show up twice when they don't need to. This makes the code simpler and easy to read. Improve performance: It is also fast because...
when hypervisor mode is enabled the kernel shall use ICC_SRE_EL2 or ICC_HSRE. This commit fixes this and supports compatibility between aarch32 and aarch64.
These commits: * provides support to save and restore par_el1 between multiple vCPUs on the same pCPU * deletes isr_el1 from the context since it is read-only. It could be...