x86_64: a VM should not take any scheduling parameters in the SDF #540

Open

Assignees

dreamliner787-9

opened

This is because the VMM and VCPU shares a TCB and Scheduling Context. Whereas on ARM they are separate entities, so the SDF parsing code and manual need to be updated to not confuse users.

Metadata

Assignees

dreamliner787-9

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests