[coreboot-gerrit] Change in coreboot[master]: cpu/x86/64bit: Generate static page tables from an assembly file

[Arthur Heymans (Code Review)]

Attention is currently required from: Raul Rangel, Patrick Rudolph, Angel Pons, Julius Werner.
Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/63725 )

Change subject: cpu/x86/64bit: Generate static page tables from an assembly file
......................................................................

Patch Set 4:

(2 comments)

File src/cpu/x86/64bit/pt.S:

https://review.coreboot.org/c/coreboot/+/63725/comment/e3af7b82_96a2dddc 
PS3, Line 4: ArchitectureProgrammer
> nit: missing a space

Done

File src/cpu/x86/Makefile.inc:

https://review.coreboot.org/c/coreboot/+/63725/comment/65cd0f68_4e50357c 
PS3, Line 7: CONFIG_ARCH_BOOTBLOCK_X86_64
> > I guess I'm concerned about the PSP Verstage case. […]

Done