IMP: :boom: Breaking changes some checks are needed to be done.

Signed-off-by: Amlal <amlalelmahrouss@icloud.com>

14 files changed, 984 insertions, 0 deletions

diff --git a/dev/BootLoader/src/HEL/64X000/.gitkeep b/dev/BootLoader/src/HEL/64X000/.gitkeep
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/dev/BootLoader/src/HEL/64X000/.gitkeep
diff --git a/dev/BootLoader/src/HEL/64X000/Boot64x0.S b/dev/BootLoader/src/HEL/64X000/Boot64x0.S
new file mode 100644
index 00000000..e79f97ef
--- /dev/null
+++ b/dev/BootLoader/src/HEL/64X000/Boot64x0.S
@@ -0,0 +1,35 @@
+/* -------------------------------------------
+
+    Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+.section .boot_hdr
+.align 4
+
+/* BootZ boot header begin for a 64x000 Kernel. */
+
+boot_hdr_mag:
+        .ascii "CB"
+boot_hdr_name:
+        // it has to match ten bytes.
+        .asciz "zbaosldr\0\0"
+boot_hdr_ver:
+        .word 0x104
+boot_hdr_proc:
+        .long bootloader_start
+
+/* BootZ boot header end */
+
+.extern bootloader_main
+.extern bootloader_stack
+
+.globl bootloader_start
+bootloader_start:
+    psh	4			/* real address of .Laddr */
+    ldi     0,(bootloader_stack-bootloader_start)(4)	/* stack address location */
+    mv	19,0			/* use user defined stack */
+    jrl
+
+    bl bootloader_main
+    blr
diff --git a/dev/BootLoader/src/HEL/AMD64/.gitkeep b/dev/BootLoader/src/HEL/AMD64/.gitkeep
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/dev/BootLoader/src/HEL/AMD64/.gitkeep
diff --git a/dev/BootLoader/src/HEL/AMD64/BootAPI.S b/dev/BootLoader/src/HEL/AMD64/BootAPI.S
new file mode 100644
index 00000000..963ef46a
--- /dev/null
+++ b/dev/BootLoader/src/HEL/AMD64/BootAPI.S
@@ -0,0 +1,60 @@
+.global rt_jump_to_address
+.global rt_reset_hardware
+
+.text
+
+.intel_syntax noprefix
+
+/**
+ @brief this function setups a stack and then jumps to
+ a function */
+rt_jump_to_address:
+    mov rbx, rcx
+    mov rcx, rdx
+    push rbx
+    push rdx
+    mov rsp, r8
+    push rax
+    jmp rbx
+
+    pop rdx
+    pop rbx
+    pop rax
+
+    ret
+
+rt_reset_hardware:
+    /* dont raise any interrupts. (except ofc NMIs.) */
+    cli
+    /* remap PIC */
+wait_gate1:
+    in al,0x64
+    and al,2
+    jnz wait_gate1
+    mov al,0x0D1
+    out 0x64,al
+wait_gate2:
+    in al,0x64
+    and al,2
+    jnz wait_gate2
+    mov al,0x0FE
+    out 0x60,al
+
+    /* trigger triple fault, by writing to cr4 */
+
+    mov rax, 0
+    lidt [rax]
+
+reset_wait:
+    jmp reset_wait
+
+.global boot_write_cr3
+.global boot_read_cr3
+
+boot_read_cr3:
+    mov rax, rax
+    ret
+
+boot_write_cr3:
+    mov cr3, rcx
+    ret
diff --git a/dev/BootLoader/src/HEL/AMD64/BootATA.cc b/dev/BootLoader/src/HEL/AMD64/BootATA.cc
new file mode 100644
index 00000000..52df1b2b
--- /dev/null
+++ b/dev/BootLoader/src/HEL/AMD64/BootATA.cc
@@ -0,0 +1,278 @@
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+/**
+ * @file BootATA.cc
+ * @author TQ B.V (amlalelmahrouss@icloud.com)
+ * @brief ATA driver.
+ * @version 0.1
+ * @date 2024-02-02
+ *
+ * @copyright Copyright (c) TQ B.V
+ *
+ */
+
+#include <FirmwareKit/EFI.h>
+#include <BootKit/BootKit.h>
+#include <BootKit/HW/ATA.h>
+
+/// bugs: 0
+
+using namespace Boot;
+
+#define kATADataLen 256
+
+static Boolean kATADetected			 = false;
+static Int32   kATADeviceType		 = kATADeviceCount;
+static UInt16  kATAData[kATADataLen] = {0};
+
+Boolean boot_ata_detected(Void);
+
+STATIC Boolean boot_ata_wait_io(UInt16 IO)
+{
+	for (int i = 0; i < 400; i++)
+		rt_in8(IO + ATA_REG_STATUS);
+
+ATAWaitForIO_Retry:
+	auto statRdy = rt_in8(IO + ATA_REG_STATUS);
+
+	if ((statRdy & ATA_SR_BSY))
+		goto ATAWaitForIO_Retry;
+
+ATAWaitForIO_Retry2:
+	statRdy = rt_in8(IO + ATA_REG_STATUS);
+
+	if (statRdy & ATA_SR_ERR)
+		return false;
+
+	if (!(statRdy & ATA_SR_DRDY))
+		goto ATAWaitForIO_Retry2;
+
+	return true;
+}
+
+Void boot_ata_select(UInt16 Bus)
+{
+	if (Bus == ATA_PRIMARY_IO)
+		rt_out8(Bus + ATA_REG_HDDEVSEL, ATA_PRIMARY_SEL);
+	else
+		rt_out8(Bus + ATA_REG_HDDEVSEL, ATA_SECONDARY_SEL);
+}
+
+Boolean boot_ata_init(UInt16 Bus, UInt8 Drive, UInt16& OutBus, UInt8& OutMaster)
+{
+	if (boot_ata_detected())
+		return true;
+
+	BTextWriter writer;
+
+	UInt16 IO = Bus;
+
+	boot_ata_select(IO);
+
+	// Bus init, NEIN bit.
+	rt_out8(IO + ATA_REG_NEIN, 1);
+
+	// identify until it's good.
+ATAInit_Retry:
+	auto statRdy = rt_in8(IO + ATA_REG_STATUS);
+
+	if (statRdy & ATA_SR_ERR)
+	{
+		writer.Write(
+			L"BootZ: ATA: Not an IDE based drive.\r");
+
+		return false;
+	}
+
+	if ((statRdy & ATA_SR_BSY))
+		goto ATAInit_Retry;
+
+	rt_out8(IO + ATA_REG_COMMAND, ATA_CMD_IDENTIFY);
+
+	/// fetch serial info
+	/// model, speed, number of sectors...
+
+	boot_ata_wait_io(IO);
+
+	for (SizeT indexData = 0ul; indexData < kATADataLen; ++indexData)
+	{
+		kATAData[indexData] = Kernel::HAL::rt_in16(IO + ATA_REG_DATA);
+	}
+
+	OutBus =
+		(Bus == ATA_PRIMARY_IO) ? BootDeviceATA::kPrimary : BootDeviceATA::kSecondary;
+
+	OutMaster = (Bus == ATA_PRIMARY_IO) ? ATA_MASTER : ATA_SLAVE;
+
+	return true;
+}
+
+Void boot_ata_read(UInt64 Lba, UInt16 IO, UInt8 Master, CharacterTypeUTF8* Buf, SizeT SectorSz, SizeT Size)
+{
+	Lba /= SectorSz;
+
+	UInt8 Command = ((!Master) ? 0xE0 : 0xF0);
+
+	boot_ata_wait_io(IO);
+	boot_ata_select(IO);
+
+	rt_out8(IO + ATA_REG_HDDEVSEL, (Command) | (((Lba) >> 24) & 0x0F));
+
+	rt_out8(IO + ATA_REG_SEC_COUNT0, ((Size + SectorSz) / SectorSz));
+
+	rt_out8(IO + ATA_REG_LBA0, (Lba)&0xFF);
+	rt_out8(IO + ATA_REG_LBA1, (Lba) >> 8);
+	rt_out8(IO + ATA_REG_LBA2, (Lba) >> 16);
+	rt_out8(IO + ATA_REG_LBA3, (Lba) >> 24);
+
+	rt_out8(IO + ATA_REG_COMMAND, ATA_CMD_READ_PIO);
+
+	boot_ata_wait_io(IO);
+
+	for (SizeT IndexOff = 0; IndexOff < Size; ++IndexOff)
+	{
+		boot_ata_wait_io(IO);
+		Buf[IndexOff] = Kernel::HAL::rt_in16(IO + ATA_REG_DATA);
+		boot_ata_wait_io(IO);
+	}
+}
+
+Void boot_ata_write(UInt64 Lba, UInt16 IO, UInt8 Master, CharacterTypeUTF8* Buf, SizeT SectorSz, SizeT Size)
+{
+	Lba /= SectorSz;
+
+	UInt8 Command = ((!Master) ? 0xE0 : 0xF0);
+
+	boot_ata_wait_io(IO);
+	boot_ata_select(IO);
+
+	rt_out8(IO + ATA_REG_HDDEVSEL, (Command) | (((Lba) >> 24) & 0x0F));
+
+	rt_out8(IO + ATA_REG_SEC_COUNT0, ((Size + (SectorSz)) / SectorSz));
+
+	rt_out8(IO + ATA_REG_LBA0, (Lba)&0xFF);
+	rt_out8(IO + ATA_REG_LBA1, (Lba) >> 8);
+	rt_out8(IO + ATA_REG_LBA2, (Lba) >> 16);
+	rt_out8(IO + ATA_REG_LBA3, (Lba) >> 24);
+
+	rt_out8(IO + ATA_REG_COMMAND, ATA_CMD_WRITE_PIO);
+
+	boot_ata_wait_io(IO);
+
+	for (SizeT IndexOff = 0; IndexOff < Size; ++IndexOff)
+	{
+		boot_ata_wait_io(IO);
+		rt_out16(IO + ATA_REG_DATA, Buf[IndexOff]);
+		boot_ata_wait_io(IO);
+	}
+}
+
+/// @check is ATA detected?
+Boolean boot_ata_detected(Void)
+{
+	return kATADetected;
+}
+
+/***
+ *
+ *
+ * @brief ATA Device class.
+ *
+ *
+ */
+
+/**
+ * @brief ATA Device constructor.
+ * @param void none.
+ */
+BootDeviceATA::BootDeviceATA() noexcept
+{
+	if (boot_ata_init(ATA_PRIMARY_IO, true, this->Leak().mBus,
+					  this->Leak().mMaster) ||
+		boot_ata_init(ATA_SECONDARY_IO, true, this->Leak().mBus,
+					  this->Leak().mMaster))
+	{
+		kATADetected = true;
+	}
+}
+/**
+ * @brief Is ATA detected?
+ */
+BootDeviceATA::operator bool()
+{
+	return boot_ata_detected();
+}
+
+/**
+	@brief Read Buf from disk
+	@param Sz Sector size
+	@param Buf buffer
+*/
+BootDeviceATA& BootDeviceATA::Read(CharacterTypeUTF8* Buf, const SizeT& SectorSz)
+{
+	if (!boot_ata_detected())
+	{
+		Leak().mErr = true;
+		return *this;
+	}
+
+	this->Leak().mErr = false;
+
+	if (!Buf || SectorSz < 1)
+		return *this;
+
+	boot_ata_read(this->Leak().mBase, this->Leak().mBus, this->Leak().mMaster,
+				  Buf, SectorSz, this->Leak().mSize);
+
+	return *this;
+}
+
+/**
+	@brief Write Buf into disk
+	@param Sz Sector size
+	@param Buf buffer
+*/
+BootDeviceATA& BootDeviceATA::Write(CharacterTypeUTF8* Buf, const SizeT& SectorSz)
+{
+	if (!boot_ata_detected())
+	{
+		Leak().mErr = true;
+		return *this;
+	}
+
+	Leak().mErr = false;
+
+	if (!Buf || SectorSz < 1)
+		return *this;
+
+	boot_ata_write(this->Leak().mBase, this->Leak().mBus, this->Leak().mMaster,
+				   Buf, SectorSz, this->Leak().mSize);
+
+	return *this;
+}
+
+/**
+ * @brief ATA trait getter.
+ * @return BootDeviceATA::ATATrait& the drive config.
+ */
+BootDeviceATA::ATATrait& BootDeviceATA::Leak()
+{
+	return mTrait;
+}
+
+/***
+	@brief Getter, gets the number of sectors inside the drive.
+*/
+SizeT BootDeviceATA::GetSectorsCount() noexcept
+{
+	return (kATAData[61] << 16) | kATAData[60];
+}
+
+SizeT BootDeviceATA::GetDiskSize() noexcept
+{
+	return this->GetSectorsCount() * BootDeviceATA::kSectorSize;
+}
diff --git a/dev/BootLoader/src/HEL/AMD64/BootMain.cc b/dev/BootLoader/src/HEL/AMD64/BootMain.cc
new file mode 100644
index 00000000..4d0190c0
--- /dev/null
+++ b/dev/BootLoader/src/HEL/AMD64/BootMain.cc
@@ -0,0 +1,326 @@
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+#include <BootKit/BootKit.h>
+#include <Modules/FB/FB.h>
+#include <Modules/FB/Text.h>
+#include <FirmwareKit/EFI.h>
+#include <FirmwareKit/EFI/API.h>
+#include <FirmwareKit/Handover.h>
+#include <KernelKit/MSDOS.h>
+#include <KernelKit/PE.h>
+#include <KernelKit/PEF.h>
+#include <NewKit/Macros.h>
+#include <NewKit/Ref.h>
+#include <BootKit/Thread.h>
+#include <Modules/FB/FB.h>
+
+// Makes the compiler shut up.
+#ifndef kMachineModel
+#define kMachineModel "ZkaOS"
+#endif // !kMachineModel
+
+#ifndef kExpectedWidth
+#define kExpectedWidth 1920
+#endif
+
+#ifndef kExpectedHeight
+#define kExpectedHeight 1080
+#endif
+
+/** Graphics related. */
+
+STATIC EfiGraphicsOutputProtocol* kGop		 = nullptr;
+STATIC UInt16					  kGopStride = 0U;
+STATIC EfiGUID					  kGopGuid;
+
+EXTERN_C Void rt_reset_hardware();
+
+EXTERN EfiBootServices* BS;
+
+/**
+	@brief Finds and stores the GOP object.
+*/
+STATIC Bool boot_init_fb() noexcept
+{
+	kGopGuid = EfiGUID(EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID);
+	kGop	 = nullptr;
+
+	if (BS->LocateProtocol(&kGopGuid, nullptr, (VoidPtr*)&kGop) != kEfiOk)
+		return No;
+
+	kGopStride = 4;
+
+	for (SizeT i = 0; i < kGop->Mode->MaxMode; ++i)
+	{
+		EfiGraphicsOutputProtocolModeInformation* infoPtr = nullptr;
+		UInt32									  sz	  = 0U;
+
+		kGop->QueryMode(kGop, i, &sz, &infoPtr);
+
+		if (infoPtr->HorizontalResolution == kExpectedWidth &&
+			infoPtr->VerticalResolution == kExpectedHeight)
+		{
+			kGop->SetMode(kGop, i);
+			return Yes;
+		}
+	}
+
+	return No;
+}
+
+EXTERN_C VoidPtr boot_read_cr3();
+EXTERN_C Void	 boot_write_cr3(VoidPtr new_cr3);
+
+EXTERN EfiBootServices* BS;
+
+/// @brief Main EFI entrypoint.
+/// @param ImageHandle Handle of this image.
+/// @param SystemTable The system table of it.
+/// @return nothing, never returns.
+EFI_EXTERN_C EFI_API Int32 Main(EfiHandlePtr	ImageHandle,
+								EfiSystemTable* SystemTable)
+{
+	InitEFI(SystemTable); ///! Init the EFI library.
+
+	HEL::BootInfoHeader* handover_hdr =
+		new HEL::BootInfoHeader();
+
+	UInt32				 map_key		 = 0;
+	UInt32				 size_struct_ptr = sizeof(EfiMemoryDescriptor);
+	EfiMemoryDescriptor* struct_ptr		 = nullptr;
+	UInt32				 sz_desc		 = sizeof(EfiMemoryDescriptor);
+	UInt32				 rev_desc		 = 0;
+
+#ifdef ZBA_USE_FB
+	if (!boot_init_fb())
+		return 1; ///! Init the GOP.
+
+	for (SizeT index_vt = 0; index_vt < SystemTable->NumberOfTableEntries;
+		 ++index_vt)
+	{
+		Char* vendor_table = reinterpret_cast<Char*>(
+			SystemTable->ConfigurationTable[index_vt].VendorTable);
+
+		// ACPI's 'RSD PTR', which contains the ACPI SDT (MADT, FACP...)
+		if (vendor_table[0] == 'R' && vendor_table[1] == 'S' &&
+			vendor_table[2] == 'D' && vendor_table[3] == ' ' &&
+			vendor_table[4] == 'P' && vendor_table[5] == 'T' &&
+			vendor_table[6] == 'R' && vendor_table[7] == ' ')
+		{
+			handover_hdr->f_HardwareTables.f_VendorPtr = (VoidPtr)vendor_table;
+			break;
+		}
+	}
+
+	// ------------------------------------------ //
+	// draw background color.
+	// ------------------------------------------ //
+
+	handover_hdr->f_GOP.f_The		   = kGop->Mode->FrameBufferBase;
+	handover_hdr->f_GOP.f_Width		   = kGop->Mode->Info->VerticalResolution;
+	handover_hdr->f_GOP.f_Height	   = kGop->Mode->Info->HorizontalResolution;
+	handover_hdr->f_GOP.f_PixelPerLine = kGop->Mode->Info->PixelsPerScanLine;
+	handover_hdr->f_GOP.f_PixelFormat  = kGop->Mode->Info->PixelFormat;
+	handover_hdr->f_GOP.f_Size		   = kGop->Mode->FrameBufferSize;
+#endif // ZBA_USE_FB
+
+	// ------------------------------------------- //
+	// Grab MP services, extended to runtime.	   //
+	// ------------------------------------------- //
+
+	auto				   guid_mp = EfiGUID(EFI_MP_SERVICES_PROTOCOL_GUID);
+	EfiMpServicesProtocol* mp	   = nullptr;
+
+	BS->LocateProtocol(&guid_mp, nullptr, reinterpret_cast<VoidPtr*>(&mp));
+
+	handover_hdr->f_HardwareTables.f_MpPtr = reinterpret_cast<VoidPtr>(mp);
+
+	kHandoverHeader = handover_hdr;
+
+	cg_init();
+
+	CG::CGDrawBackground();
+
+	CGDrawBitMapInRegion(zka_disk, ZKA_DISK_HEIGHT, ZKA_DISK_WIDTH, (kHandoverHeader->f_GOP.f_Width - ZKA_DISK_WIDTH) / 2, (kHandoverHeader->f_GOP.f_Height - ZKA_DISK_HEIGHT) / 2);
+
+	cg_fini();
+
+	UInt32 cnt_enabled	= 0;
+	UInt32 cnt_disabled = 0;
+
+	mp->GetNumberOfProcessors(mp, &cnt_disabled, &cnt_enabled);
+
+	handover_hdr->f_HardwareTables.f_MultiProcessingEnabled = cnt_enabled > 1;
+	// Fill handover header now.
+
+	Boot::BDiskFormatFactory<BootDeviceATA> partition_factory;
+
+	// ---------------------------------------------------- //
+	// The following checks for an exisiting partition
+	// inside the disk, if it doesn't have one,
+	// format the disk.
+	// ---------------------------------------------------- //
+
+#ifdef ZKA_AUTO_FORMAT
+	if (!partition_factory.IsPartitionValid())
+	{
+		CG::CGDrawBackground();
+
+		CGDrawBitMapInRegion(zka_no_disk, ZKA_NO_DISK_HEIGHT, ZKA_NO_DISK_WIDTH, (kHandoverHeader->f_GOP.f_Width - ZKA_NO_DISK_WIDTH) / 2, (kHandoverHeader->f_GOP.f_Height - ZKA_NO_DISK_HEIGHT) / 2);
+
+		cg_fini();
+
+		CGDrawString("Formatting EPM disk...", 30, 10, RGB(0xFF, 0xFF, 0xFF));
+
+		Boot::BDiskFormatFactory<BootDeviceATA>::BFileDescriptor root;
+
+		root.fFileName[0] = kNeFSRoot[0];
+		root.fFileName[1] = 0;
+
+		root.fKind = kNeFSCatalogKindDir;
+
+		partition_factory.Format("FileSystem (A:)\0", &root, 1);
+		
+		CG::CGDrawBackground();
+
+		CGDrawBitMapInRegion(zka_has_disk, ZKA_HAS_DISK_HEIGHT, ZKA_HAS_DISK_WIDTH, (kHandoverHeader->f_GOP.f_Width - ZKA_HAS_DISK_WIDTH) / 2, (kHandoverHeader->f_GOP.f_Height - ZKA_HAS_DISK_HEIGHT) / 2);
+
+		cg_fini();
+	}
+#endif // ZKA_AUTO_FORMAT
+
+	BS->GetMemoryMap(&size_struct_ptr, struct_ptr, &map_key, &sz_desc, &rev_desc);
+
+	struct_ptr = new EfiMemoryDescriptor[sz_desc];
+
+	BS->GetMemoryMap(&size_struct_ptr, struct_ptr, &map_key, &sz_desc, &rev_desc);
+
+	auto kDefaultMemoryMap = 0; // Grab any usable entries.
+
+	//-----------------------------------------------------------//
+	// A simple loop which finds a usable memory region for us.
+	//-----------------------------------------------------------//
+
+	SizeT lookup_index = 0UL;
+
+	for (; struct_ptr[lookup_index].Kind != EfiMemoryType::EfiConventionalMemory; ++lookup_index)
+	{
+		ZKA_UNUSED(0);
+	}
+
+	kDefaultMemoryMap = lookup_index;
+
+	//-------------------------------------------------------------//
+	// Update handover file specific table and phyiscal start field.
+	//-------------------------------------------------------------//
+
+	handover_hdr->f_BitMapStart = nullptr;			 /* Start of bitmap. */
+	handover_hdr->f_BitMapSize	= kHandoverBitMapSz; /* Size of bitmap. */
+
+	while (BS->AllocatePool(EfiLoaderData, handover_hdr->f_BitMapSize, &handover_hdr->f_BitMapStart) != kEfiOk)
+	{
+		if (handover_hdr->f_BitMapStart)
+		{
+			BS->FreePool(handover_hdr->f_BitMapStart);
+			handover_hdr->f_BitMapStart = nullptr;
+		}
+	}
+
+	handover_hdr->f_FirmwareCustomTables[0] = (VoidPtr)BS;
+	handover_hdr->f_FirmwareCustomTables[1] = (VoidPtr)ST;
+
+	Boot::BFileReader reader_syschk(L"syschk.sys", ImageHandle);
+	reader_syschk.ReadAll(0);
+
+	Boot::BThread* syschk_thread = nullptr;
+
+	// ------------------------------------------ //
+	// If we succeed in reading the blob, then execute it.
+	// ------------------------------------------ //
+
+	if (reader_syschk.Blob())
+	{
+		syschk_thread = new Boot::BThread(reader_syschk.Blob());
+		syschk_thread->SetName("BootZ: System Check");
+	}
+
+	syschk_thread->Start(handover_hdr, NO);
+
+	// nullify these fields, to avoid being reused later.
+
+	handover_hdr->f_FirmwareCustomTables[0] = nullptr;
+	handover_hdr->f_FirmwareCustomTables[1] = nullptr;
+
+	handover_hdr->f_FirmwareVendorLen = Boot::BStrLen(SystemTable->FirmwareVendor);
+
+	handover_hdr->f_Magic	= kHandoverMagic;
+	handover_hdr->f_Version = kHandoverVersion;
+
+	// Provide fimware vendor name.
+
+	Boot::BCopyMem(handover_hdr->f_FirmwareVendorName, SystemTable->FirmwareVendor,
+				   handover_hdr->f_FirmwareVendorLen);
+
+	handover_hdr->f_FirmwareVendorLen = Boot::BStrLen(SystemTable->FirmwareVendor);
+
+	// Assign to global 'kHandoverHeader'.
+
+	Boot::BFileReader reader_kernel(L"minoskrnl.exe", ImageHandle);
+
+	reader_kernel.ReadAll(0);
+
+	Boot::BThread* kernel_thread = nullptr;
+
+	// ------------------------------------------ //
+	// If we succeed in reading the blob, then execute it.
+	// ------------------------------------------ //
+
+	if (reader_kernel.Blob())
+	{
+		kernel_thread = new Boot::BThread(reader_kernel.Blob());
+		kernel_thread->SetName("BootZ: ZkaOS Kernel.");
+
+		handover_hdr->f_KernelImage = reader_kernel.Blob();
+	}
+	else
+	{
+#ifdef ZBA_USE_FB
+		CGDrawString("BootZ: Please recover your kernel image.", 30, 10, RGB(0xFF, 0xFF, 0xFF));
+#endif // ZBA_USE_FB
+
+		EFI::Stop();
+	}
+
+	Boot::BFileReader ttf_font(L"zka\\fntkrnl.ttf", ImageHandle);
+
+	ttf_font.ReadAll(0);
+
+	if (ttf_font.Blob())
+	{
+		handover_hdr->f_KernelImage	   = reader_kernel.Blob();
+		handover_hdr->f_KernelSz	   = reader_kernel.Size();
+		handover_hdr->f_FontImage 	   = ttf_font.Blob();
+		handover_hdr->f_FontSz		   = ttf_font.Size();
+	}
+	else
+	{
+		cg_init();
+		CGDrawBitMapInRegion(zka_no_disk, ZKA_NO_DISK_HEIGHT, ZKA_NO_DISK_WIDTH, (kHandoverHeader->f_GOP.f_Width - ZKA_NO_DISK_WIDTH) / 2, (kHandoverHeader->f_GOP.f_Height - ZKA_NO_DISK_HEIGHT) / 2);
+			
+		EFI::Stop();
+	}
+
+	EFI::ExitBootServices(map_key, ImageHandle);
+
+	// ---------------------------------------------------- //
+	// Finally load the OS kernel.
+	// ---------------------------------------------------- //
+
+	kernel_thread->Start(handover_hdr, YES);
+
+	CANT_REACH();
+}
diff --git a/dev/BootLoader/src/HEL/AMD64/BootPlatform.cc b/dev/BootLoader/src/HEL/AMD64/BootPlatform.cc
new file mode 100644
index 00000000..83e37a02
--- /dev/null
+++ b/dev/BootLoader/src/HEL/AMD64/BootPlatform.cc
@@ -0,0 +1,106 @@
+
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+#include <BootKit/Platform.h>
+#include <BootKit/Protocol.h>
+#include <BootKit/BootKit.h>
+
+#ifdef __STANDALONE__
+
+using namespace Boot;
+
+EXTERN_C void rt_hlt()
+{
+	asm volatile("hlt");
+}
+
+EXTERN_C void rt_cli()
+{
+	asm volatile("cli");
+}
+
+EXTERN_C void rt_sti()
+{
+	asm volatile("sti");
+}
+
+EXTERN_C void rt_cld()
+{
+	asm volatile("cld");
+}
+
+EXTERN_C void rt_std()
+{
+	asm volatile("std");
+}
+
+EXTERN_C void rt_out8(UInt16 port, UInt8 value)
+{
+	asm volatile("outb %%al, %1"
+				 :
+				 : "a"(value), "Nd"(port)
+				 : "memory");
+}
+
+EXTERN_C void rt_out16(UInt16 port, UInt16 value)
+{
+	asm volatile("outw %%ax, %1"
+				 :
+				 : "a"(value), "Nd"(port)
+				 : "memory");
+}
+
+EXTERN_C void rt_out32(UInt16 port, UInt32 value)
+{
+	asm volatile("outl %%eax, %1"
+				 :
+				 : "a"(value), "Nd"(port)
+				 : "memory");
+}
+
+EXTERN_C UInt8 rt_in8(UInt16 port)
+{
+	UInt8 value;
+	asm volatile("inb %1, %%al"
+				 : "=a"(value)
+				 : "Nd"(port)
+				 : "memory");
+
+	return value;
+}
+
+EXTERN_C UInt16 rt_in16(UInt16 port)
+{
+	UInt16 value;
+	asm volatile("inw %%dx, %%ax"
+				 : "=a"(value)
+				 : "d"(port));
+
+	return value;
+}
+
+EXTERN_C UInt32 rt_in32(UInt16 port)
+{
+	UInt32 value;
+	asm volatile("inl %1, %%eax"
+				 : "=a"(value)
+				 : "Nd"(port)
+				 : "memory");
+
+	return value;
+}
+
+#else
+
+#include <HALKit/AMD64/Processor.h>
+
+void rt_hlt()
+{
+	Kernel::HAL::rt_halt();
+}
+
+#endif // __STANDALONE__
diff --git a/dev/BootLoader/src/HEL/AMD64/BootSATA.cc b/dev/BootLoader/src/HEL/AMD64/BootSATA.cc
new file mode 100644
index 00000000..5118d865
--- /dev/null
+++ b/dev/BootLoader/src/HEL/AMD64/BootSATA.cc
@@ -0,0 +1,20 @@
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+/**
+ * @file BootAHCI.cc
+ * @author TQ B.V (amlalelmahrouss@icloud.com)
+ * @brief AHCI support for BootZ.
+ * @version 0.1
+ * @date 2024-02-02
+ *
+ * @copyright Copyright (c) TQ B.V
+ *
+ */
+
+#include <BootKit/Platform.h>
+#include <BootKit/Protocol.h>
+#include <BootKit/HW/SATA.h>
diff --git a/dev/BootLoader/src/HEL/ARM64/.gitkeep b/dev/BootLoader/src/HEL/ARM64/.gitkeep
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/dev/BootLoader/src/HEL/ARM64/.gitkeep
diff --git a/dev/BootLoader/src/HEL/ARM64/BootAPI.S b/dev/BootLoader/src/HEL/ARM64/BootAPI.S
new file mode 100644
index 00000000..a60ad218
--- /dev/null
+++ b/dev/BootLoader/src/HEL/ARM64/BootAPI.S
@@ -0,0 +1,12 @@
+.global rt_jump_to_address
+
+.text
+
+/**
+ @brief this function setups a stack and then jumps to
+ a function */
+rt_jump_to_address:
+    mov x19, x0
+    mov sp, x2
+    blr x19
+
diff --git a/dev/BootLoader/src/HEL/ARM64/BootMain.cc b/dev/BootLoader/src/HEL/ARM64/BootMain.cc
new file mode 100644
index 00000000..7f3ba6cf
--- /dev/null
+++ b/dev/BootLoader/src/HEL/ARM64/BootMain.cc
@@ -0,0 +1,76 @@
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+#include <FirmwareKit/EFI/API.h>
+#include <FirmwareKit/EFI.h>
+#include <BootKit/Thread.h>
+#include <BootKit/BootKit.h>
+
+#ifndef kExpectedWidth
+#define kExpectedWidth 844
+#endif
+
+#ifndef kExpectedHeight
+#define kExpectedHeight 390
+#endif
+
+EXTERN EfiBootServices* BS;
+
+STATIC EfiGraphicsOutputProtocol* kGop		 = nullptr;
+STATIC UInt16					  kGopStride = 0U;
+STATIC EfiGUID					  kGopGuid;
+
+/// @brief Main EFI entrypoint.
+/// @param ImageHandle Handle of this image.
+/// @param SystemTable The system table of it.
+/// @return nothing, never returns.
+EFI_EXTERN_C EFI_API Int32 Main(EfiHandlePtr	ImageHandle,
+								EfiSystemTable* SystemTable)
+{
+	InitEFI(SystemTable);
+
+	kGopGuid = EfiGUID(EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID);
+	kGop	 = nullptr;
+
+	BS->LocateProtocol(&kGopGuid, nullptr, (VoidPtr*)&kGop);
+
+	kGopStride = 4;
+
+	Boot::BTextWriter writer;
+
+	for (SizeT i = 0; i < kGop->Mode->MaxMode; ++i)
+	{
+		EfiGraphicsOutputProtocolModeInformation* infoPtr = nullptr;
+		UInt32									  sz	  = 0U;
+
+		kGop->QueryMode(kGop, i, &sz, &infoPtr);
+
+		writer.Write(infoPtr->HorizontalResolution);
+		writer.Write(infoPtr->VerticalResolution);
+		writer.Write("\r");
+
+		if (infoPtr->HorizontalResolution == kExpectedWidth &&
+			infoPtr->VerticalResolution == kExpectedHeight)
+		{
+			kGop->SetMode(kGop, i);
+			break;
+		}
+	}
+
+	Boot::BFileReader reader_kernel(L"minoskrnl.exe", ImageHandle);
+
+	reader_kernel.ReadAll(0);
+
+	if (reader_kernel.Blob())
+	{
+		auto kernel_thread = Boot::BThread(reader_kernel.Blob());
+
+		if (kernel_thread.IsValid())
+			kernel_thread.Start(nullptr, YES);
+	}
+
+	CANT_REACH();
+}
diff --git a/dev/BootLoader/src/HEL/ARM64/BootPlatform.cc b/dev/BootLoader/src/HEL/ARM64/BootPlatform.cc
new file mode 100644
index 00000000..75a69998
--- /dev/null
+++ b/dev/BootLoader/src/HEL/ARM64/BootPlatform.cc
@@ -0,0 +1,37 @@
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+#include <BootKit/Platform.h>
+#include <BootKit/Protocol.h>
+#include <BootKit/BootKit.h>
+
+#ifdef __STANDALONE__
+
+using namespace Boot;
+
+EXTERN_C void rt_hlt()
+{
+	while (Yes)
+		;
+}
+
+EXTERN_C void rt_cli()
+{
+}
+
+EXTERN_C void rt_sti()
+{
+}
+
+EXTERN_C void rt_cld()
+{
+}
+
+EXTERN_C void rt_std()
+{
+}
+
+#endif // __STANDALONE__
diff --git a/dev/BootLoader/src/HEL/POWER/.gitkeep b/dev/BootLoader/src/HEL/POWER/.gitkeep
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/dev/BootLoader/src/HEL/POWER/.gitkeep
diff --git a/dev/BootLoader/src/HEL/POWER/CoreBootStartup.S b/dev/BootLoader/src/HEL/POWER/CoreBootStartup.S
new file mode 100644
index 00000000..0948711d
--- /dev/null
+++ b/dev/BootLoader/src/HEL/POWER/CoreBootStartup.S
@@ -0,0 +1,34 @@
+/* -------------------------------------------
+
+    Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+.section .boot_hdr
+.align 4
+
+/* BootZ boot header begin */
+
+boot_hdr_mag:
+	.ascii "CB"
+boot_hdr_name:
+	// it has to match ten bytes.
+	.asciz "zbaosldr\0\0"
+boot_hdr_ver:
+	.word 0x104
+boot_hdr_proc:
+	.long bootloader_start
+
+/* BootZ boot header end */
+
+.extern bootloader_main
+.extern bootloader_stack
+
+.globl bootloader_start
+bootloader_start:
+    mflr	4			/* real address of .Laddr */
+    lwz	0,(bootloader_stack-bootloader_start)(4)	/* stack address location */
+    mr	1,0			/* use user defined stack */
+
+    bl bootloader_main
+    blr