/* * ======================================================== * * SysChk * Copyright (C) 2024-2025, Amlal El Mahrouss, all rights reserved. * * ======================================================== */ #include #include #include #include #include #include #include #include #include #include #include #include #include // Makes the compiler shut up. #ifndef kMachineModel #define kMachineModel "Ne" #endif // !kMachineModel EXTERN_C Int32 SysChkModuleMain(Kernel::HEL::BootInfoHeader* handover) { NE_UNUSED(handover); #ifdef __ATA_PIO__ Boot::BDiskFormatFactory partition_factory; if (partition_factory.IsPartitionValid()) return kEfiOk; Boot::BDiskFormatFactory::BFileDescriptor desc{}; desc.fFileName[0] = '/'; desc.fFileName[1] = 0; desc.fKind = kNeFSCatalogKindDir; partition_factory.Format(kMachineModel, &desc, 1); if (partition_factory.IsPartitionValid()) return kEfiOk; return kEfiFail; #else return kEfiOk; #endif }