Skip to content

Enabling Zaamo in the default config #1508

@pmundkur

Description

@pmundkur

Even though Zaamo is disabled in the config, atomics are supported because A is supported by default, and Zaamo is currently enabled whenever A is.

This leads to workarounds like checking for (Zaamo | A) when validating the config for Zicfiss, which is different from the text of the spec, where Zaamo is specified as a dependency for Zicfiss but not A.

We should revisit this dependency structure for container extensions like A, and update either the validation logic or the spec to fix such incongruities.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions