mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 10:21:04 +00:00
c086eb088d
Implement the guest code in dedicated assembler source file, assemble and link the binary to vmm_x86. The resulting guest-code binary populates one page that is mapped to host the reset vector of the guest. This approach simplifies future guest code adaption resp. extension, e.g., to test rdmsr/wrmsr exiting. Fixes #4638
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.