+ifeq ($(PLATFORM),MacOSX)
+
+
+ARM_HEADER_FILES = \
+ machine_cpuid.h \
+ machine_machdep.h \
+
+# Headers installed into Kernel.framework/Headers (public and internal SDKs).
+INSTALL_KF_MD_LIST = $(ARM_HEADER_FILES)
+
+# Headers installed into Kernel.framework/PrivateHeaders (internal SDK only).
+INSTALL_KF_MD_LCL_LIST = \
+ lowglobals.h \
+ machine_kpc.h \
+ machine_remote_time.h \
+ monotonic.h \
+ pgtrace.h \
+ proc_reg.h \
+ tlb.h \
+ $(ARM_HEADER_FILES)
+
+# TODO: Is there a reason that machine_machdep.h is not in this list? If not, these lists can be consolidated.
+# Headers used to compile xnu
+EXPORT_MD_LIST = \
+ lowglobals.h \
+ machine_cpuid.h \
+ machine_kpc.h \
+ machine_remote_time.h \
+ monotonic.h \
+ pgtrace.h \
+ proc_reg.h \
+ asm.h \
+ tlb.h \
+ pal_hibernate.h
+
+# These headers will be available with #include <arm64/header_file.h>
+EXPORT_MD_DIR = arm64
+
+else # $(PLATFORM),MacOSX
+
+