belliash 9dc0e60f28 We support EFI-enabled systems only and such machines should support PAE, so there is no need for XTLDR to support non-PAE x86 hardware		2022-12-28 15:57:03 +01:00
..
hlfuncs.h	Implement HlReadTimeStampCounter() routine	2022-12-27 23:28:27 +01:00
hltypes.h	Implement HlCpuId() routine and corresponding structures for issueing CPUID instruction	2022-12-11 17:40:56 +01:00
ketypes.h	KERNEL_STACK_SIZE should be expressed in bytes as the name suggests, calculate number of pages where needed	2022-12-21 22:24:16 +01:00
mmtypes.h	We support EFI-enabled systems only and such machines should support PAE, so there is no need for XTLDR to support non-PAE x86 hardware	2022-12-28 15:57:03 +01:00
xtstruct.h	Implement HlCpuId() routine and corresponding structures for issueing CPUID instruction	2022-12-11 17:40:56 +01:00