root/headers/build/os/drivers/KernelExport.h
#include <OS.h>
        // We don't actually need anything from <KernelExport.h>.