HalKernelMain.cc File Reference

#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)

Function Documentation

hal_init_platform()

EXTERN_C void hal_init_platform

(

Kernel::HEL::BootInfoHeader *

handover_hdr

)

Note

do initialize the interrupts after it.