Skip to content

Improve the support of vGIC for avz configuration #253

@daniel-rossier

Description

@daniel-rossier

So far, avz had a little support of vGIC operations, especially devoted to capsules. A major re-work has been done in order to have a full support of vGIC and is now available to the Linux guest as well.
Furthermore, several bug fixes and improvements have been done:

  • Fix per_cpu data structure misallocation
  • Remove CONFIG_VA_BITS_39 since it's not relevant anymore
  • Support for GICv3

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions