|
NeKernel dev
|
#include <ArchKit/ArchKit.h>#include <CFKit/Property.h>#include <FirmwareKit/Handover.h>#include <HALKit/ARM64/ApplicationProcessor.h>#include <HALKit/ARM64/Processor.h>#include <KernelKit/CodeMgr.h>#include <KernelKit/FileMgr.h>#include <KernelKit/HardwareThreadScheduler.h>#include <KernelKit/HeapMgr.h>#include <KernelKit/PEFCodeMgr.h>#include <KernelKit/ProcessScheduler.h>#include <NeKit/Json.h>#include <NetworkKit/IPC.h>#include <modules/ACPI/ACPIFactoryInterface.h>#include <modules/CoreGfx/CoreGfx.h>Functions | |
| EXTERN_C void | hal_init_platform (Kernel::HEL::BootInfoHeader *handover_hdr) |
| EXTERN_C void hal_init_platform | ( | Kernel::HEL::BootInfoHeader * | handover_hdr | ) |