Comments on version 0.0.2

[ved-rivos]

Chapter 5 Some of the requirements are missing the RFC2119 keywords to indicate whether they are mandatory or optional.

ACPI_080 - implies that interrupt controllers may be either PLIC or APLIC. This statement may want to be expanded to include IMSIC and a corresponding RVI ACPI ID provided in section 6.2. In similar vein, section 8.3.6 "the MADT will also contain either PLIC or IMSIC/APLIC structures" would want to be written as "the MADT will also contain either PLIC, APLIC, or IMSIC structures"

[andreiw]

@vlsunil do we need IMSIC in the MADT and (thus) an IMSIC-specific CID for 6.2?

[andreiw]

#163 for Chapter 5 improvements

Will send email to the mailing list to discuss the other points

[andreiw]

#163 is merged.

[andreiw]

Based on #166 and #164, we're good right? @ved-rivos

[ved-rivos]

Thanks! Yes, looks good.