Page MenuHomeFreeBSD

Import the kernel parts of bhyve/arm64
Needs ReviewPublic

Authored by andrew on Thu, Nov 17, 6:14 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Dec 2, 7:58 PM
Unknown Object (File)
Fri, Dec 2, 7:57 PM
Unknown Object (File)
Mon, Nov 28, 2:30 PM
Unknown Object (File)
Sun, Nov 27, 11:12 AM

Details

Reviewers
manu
Group Reviewers
arm64
bhyve
Summary

This is working well enough for booting a FreeBSD guest.

Base on earlier work by University Politehnica of Bucharest.

Known issues:

  • High load when the guest is idle
  • Untested with a malicious guest
  • Doesn't work with a GICv2
  • Doesn't support FEAT_VHE
  • vmm_hyp_* dependencies don't work correctly

Sponsored by: Innovate UK
Sponsored by: The FreeBSD Foundation
Sponsored by: University Politehnica of Bucharest

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 48412
Build 45298: arc lint + arc unit

Event Timeline

jrtc27 added inline comments.
sys/arm64/vmm/vmm_stat.h
36

I don't think you need the Intel and AMD parts of this file?

138

Some of these look rather x86y...

corvink added inline comments.
sys/arm64/arm64/identcpu.c
107

This and some other parts could be merged in a seperate review. Splitting should speed up reviewing a bit.