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/WFDO4Y7UZ3EOYRZMKQ7S35Y44LBHPVFG/
Good luck,
Indan
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
