Hello Leonid,
On 2024-01-26 16:35, Leonid Meyerovich wrote:
But in certain case I have got seL4_Fault_VCPUFault type, which is not implemented sel4libsutils library
I try to process this fault similar to seL4_Fault_VMFault to get all neccessary registers, but the kernel does not have functions like seL4_Fault_VCPUFault_get_IP.
For virtualisation some things are implemented as VCPU faults even when it are not real faults, the VMM (virtual machine monitor) is expected to know how to handle them. For a vmm implementation, have a look at:
https://github.com/seL4/seL4_projects_libs/tree/master/libsel4vm
The VCPU code is very platform specific.
To read the VCPU's registers you can always use seL4_ARM_VCPU_ReadRegs() or seL4_TCB_ReadRegisters().
For some more information, see this old thread:
https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/WFDO4Y7...
Good luck,
Indan