const char *KERNEL_PLATFORM = "x86_64";