This PR adds support for running seL4 in hypervisor mode as well as
a new 'virtual machine' abstraction.
This commit message says 'initial support' as features such as
multi-vCPU/core support for VMs are not yet implemented. However,
with this patch, we can run guest operating systems such as Linux
on a Microkit system.
Merge checklist:
[x] Finish manual changes
[x] Change fault entry point to handle replying to fault instead of using a microkit_fault_reply API.
Post-merge checklist:
[ ] Fault handling in the manual could be specified better than just referring to the seL4 reference manual.
[ ] ARM virtual IRQ handling API could be better described.
[ ] Don't hardcode physical address bits in build_sdk.py
This PR adds support for running seL4 in hypervisor mode as well as a new 'virtual machine' abstraction.
This commit message says 'initial support' as features such as multi-vCPU/core support for VMs are not yet implemented. However, with this patch, we can run guest operating systems such as Linux on a Microkit system.
Merge checklist:
fault
entry point to handle replying to fault instead of using amicrokit_fault_reply
API.Post-merge checklist: