HalKernelMain.cc File Reference

#include <ArchKit/ArchKit.h>
#include <CFKit/Property.h>
#include <FirmwareKit/EFI/API.h>
#include <FirmwareKit/EFI/EFI.h>
#include <KernelKit/CodeMgr.h>
#include <KernelKit/HardwareThreadScheduler.h>
#include <KernelKit/ProcessScheduler.h>
#include <KernelKit/Timer.h>
#include <NetworkKit/IPC.h>
#include <StorageKit/AHCI.h>
#include <misc/BenchKit/HWChronometer.h>
#include <modules/ACPI/ACPIFactoryInterface.h>
#include <modules/CoreGfx/TextGfx.h>

Functions
EXTERN_C Int32	hal_init_platform (Kernel::HEL::BootInfoHeader *handover_hdr)
	Kernel init function.
EXTERN_C Kernel::Void	hal_real_init (Kernel::Void)

Variables
EXTERN_C Kernel::VoidPtr	kInterruptVectorTable []

Function Documentation

hal_init_platform()

EXTERN_C Int32 hal_init_platform

(

Kernel::HEL::BootInfoHeader *

handover_hdr

)

Kernel init function.

Parameters

handover_hdr

Handover boot header.

GDT will load hal_read_init after it successfully loads the segments.

hal_real_init()

EXTERN_C Kernel::Void hal_real_init

(

Kernel::Void

)

Variable Documentation

kInterruptVectorTable

EXTERN_C Kernel::VoidPtr kInterruptVectorTable[]