100644 blob e8fdf020b4223eb1a02f753aabd4a0c225bab65c	Makefile
100644 blob e04ed99bc449e72e2367f890742d5a8b517f6b0d	efi-mixed.S
100644 blob 01d2363dc445f0d8af34653325342a35ae557dbd	exports.h
100644 blob d16102abdaec34823b9e3c1b640db09a191451dd	gdt_idt.c
100644 blob 370075b4d95b4875fd3ef1d79c89b75fd713f475	la57toggle.S
100644 blob 83ba98d6157272760945021c9cfc3b99b3a04e4f	map_kernel.c
100644 blob e52e886ad313d4f57bf896d7f52a8191bf2ed6a6	sev-shared.c
100644 blob 09725428d3e657e6dba5ae6f8aae1b8add466208	sev-startup.c
100644 blob e7ea65f3f1d6a53f7f450e847f31953e41ae272c	sme.c