Additionally, DDD_DEOS_ARMCPU_321 should have a domain1="DDD".

Additional change requested:
cpu-asm.sgm says, "The following ensures that all cores see consistent ASID values for each possible address
  translation during startup.  Prior to entering the kernel <xref linkend="DEBOOT"/> establishes address
  translation using the BOOT VAS ASID value." but the "following" paragraph is only visible in the DDD, so it does not make sense in the boot SRD.

Suggest rearranging the document so that the "3.6.1. Processor State Table Column Definitions" is immediately before the 3.6.2.2.3. ARMv8 Processor States. It used to immediately precede the tables, which made sense. Now it is completely disassociated.

The PAL SRD says, "The PAL must not permit any user mode application to have modify access to any hardware configuration "registers" that might alter the physical memory map or in some other way bypass the protection of the memory management unit (e.g., permit an application to set up DMA)." 
The ability of an application to set up DMA is entirely outside the control of the PAL. Propose "The PAL must not enable..."

The PALSRD says, "The maximum processor wait time must be specified." There is no way for the PAL to document the maximum wait time on PCI as it is unbounded. This may need to be moved into a higher level document about the architecture of a system.

In the PALSRD: " The PAL cannot use the thread coordination mechanisms available to applications and to prevent non-AIB the kernel does not provide any facility for privileged mode platform software (i.e., the PAL or a PRL) to establish cross-core critical sections."
This sentence is incoherent. I think you mean, " The PAL cannot use the thread coordination mechanisms available to applications. To prevent non-AIB the kernel does not provide any facility for privileged mode platform software (i.e., the PAL or a PRL) to establish cross-core critical sections.

SRS_PAL_KernelExtensions_20.1 says nothing but the return type of the function, which is already part of the function interface SRS_PAL_KernelExtensions_10.1. It should be deleted.

"There must be a user mode and kernel mode writable virtual address range of RAM. The RAM must not be used for any other purpose, e.g., as DEOS_RAM. This memory is used for ABCHitMap and TestResults." would make more sense worded as "There must be a user mode and kernel mode writable virtual address range of RAM reserved for ABCHitMap and TestResults. The RAM must not be used for any other purpose, e.g., as DEOS_RAM."

CCB visited this PCR on 2023-07-11-76177

CCB visited this PCR on 2023-08-14-64795

PCR to be worked on kismet verf if time permits.

CCB visited this PCR on 2024-08-30-49739