Development

arch/x86_64/features/x64.c

@@ -1,6 +1,6 @@
-#include "x64.h"
-#include "Console.h"
-#include "Io.h"
+#include <x64.h>
+#include <Console.h>
+#include <Io.h>
 
 static CpuFeatures cpu_features = {0};
 

arch/x86_64/features/x64.h

@@ -1,8 +1,8 @@
 #ifndef CPU_H
 #define CPU_H
 
-#include "stdint.h"
-#include "stdbool.h"
+#include <stdint.h>
+#include <stdbool.h>
 
 typedef struct {
     bool sse;

arch/x86_64/gdt/Gdt.c

@@ -1,5 +1,5 @@
-#include "Gdt.h"
-#include "Panic.h"
+#include <Gdt.h>
+#include <Panic.h>
 
 // GDT with 7 entries: null, kcode, kdata, ucode, udata, tss_low, tss_high
 static struct GdtEntry gdt[7];

arch/x86_64/gdt/Gdt.h

@@ -1,7 +1,7 @@
 #ifndef GDT_H
 #define GDT_H
 
-#include "stdint.h"
+#include <stdint.h>
 
 #define GDT_ACCESS_CODE_PL0 0x9A // Present, Ring 0, Executable, Read/Write
 #define GDT_ACCESS_DATA_PL0 0x92 // Present, Ring 0, Read/Write

arch/x86_64/idt/Idt.c

@@ -1,6 +1,6 @@
-#include "Idt.h"
-#include "Kernel.h"
-#include "Syscall.h"
+#include <Idt.h>
+#include <Kernel.h>
+#include <Syscall.h>
 #define IDT_ENTRIES 256
 
 struct IdtEntry g_Idt[IDT_ENTRIES];

arch/x86_64/idt/Idt.h

@@ -1,7 +1,7 @@
 #ifndef IDT_H
 #define IDT_H
 
-#include "stdint.h"
+#include <stdint.h>
 
 // An entry in the IDT (64-bit)
 struct IdtEntry {

arch/x86_64/interrupts/Interrupts.c

@@ -1,15 +1,15 @@
-#include "Interrupts.h"
-#include "../../../drivers/APIC/APIC.h"
-#include "../../../drivers/storage/Ide.h"
-#include "Atomics.h"
-#include "Console.h"
-#include "Kernel.h"
-#include "PS2.h"
-#include "PageFaultHandler.h"
-#include "Panic.h"
-#include "Scheduler.h"
-#include "StackTrace.h"
-#include "ethernet/Network.h"
+#include <Interrupts.h>
+#include <../../../drivers/APIC/APIC.h>
+#include <../../../drivers/storage/Ide.h>
+#include <Atomics.h>
+#include <Console.h>
+#include <Kernel.h>
+#include <PS2.h>
+#include <PageFaultHandler.h>
+#include <Panic.h>
+#include <Scheduler.h>
+#include <StackTrace.h>
+#include <ethernet/Network.h>
 
 volatile uint32_t APICticks = 0;
 

arch/x86_64/interrupts/Interrupts.h

@@ -1,7 +1,7 @@
 #ifndef INTERRUPTS_H
 #define INTERRUPTS_H
 
-#include "stdint.h"
+#include <stdint.h>
 
 uint64_t ToIRQ(uint64_t irn);
 

arch/x86_64/syscall/Syscall.c

@@ -1,6 +1,6 @@
-#include "Syscall.h"
-#include "Console.h"
-#include "Scheduler.h"
+#include <Syscall.h>
+#include <Console.h>
+#include <Scheduler.h>
 
 uint64_t SyscallHandler(uint64_t syscall_num, uint64_t arg1, uint64_t arg2, uint64_t arg3) {
     switch (syscall_num) {

arch/x86_64/syscall/Syscall.h

@@ -1,7 +1,7 @@
 #ifndef VOIDFRAME_SYSCALL_H
 #define VOIDFRAME_SYSCALL_H
 
-#include "stdint.h"
+#include <stdint.h>
 
 #define SYS_READ    0
 #define SYS_WRITE   1

crypto/CRC32.c

@@ -1,4 +1,4 @@
-#include "CRC32.h"
+#include <CRC32.h>
 
 static uint32_t crc32_table[256];
 

crypto/RNG.c

@@ -1,5 +1,5 @@
-#include "RNG.h"
-#include "Io.h"
+#include <RNG.h>
+#include <Io.h>
 
 static uint64_t s[2]; // state
 

crypto/RNG.h

@@ -1,6 +1,6 @@
 #ifndef VOIDFRAME_RNG_H
 #define VOIDFRAME_RNG_H
-#include "stdint.h"
+#include <stdint.h>
 
 void rng_seed(uint64_t a, uint64_t b);
 uint64_t xoroshiro128plus();

crypto/SHA256.c

@@ -1,6 +1,6 @@
 
-#include "SHA256.h"
-#include "MemOps.h"
+#include <SHA256.h>
+#include <MemOps.h>
 
 #define ROTR(x, n) (((x) >> (n)) | ((x) << (32 - (n))))
 #define CH(x, y, z) (((x) & (y)) ^ (~(x) & (z)))

drivers/ACPI.c

@@ -1,13 +1,13 @@
-#include "ACPI.h"
-#include "Console.h"
-#include "Io.h"
-#include "MemOps.h"
-#include "NVMe.h"
-#include "Scheduler.h"
-#include "StringOps.h"
-#include "VMem.h"
-#include "TSC.h"
-#include "VFS.h"
+#include <ACPI.h>
+#include <Console.h>
+#include <Io.h>
+#include <MemOps.h>
+#include <NVMe.h>
+#include <Scheduler.h>
+#include <StringOps.h>
+#include <VMem.h>
+#include <TSC.h>
+#include <VFS.h>
 
 static ACPIFADT* g_fadt = NULL;
 static bool g_acpi_initialized = false;

drivers/ACPI.h

@@ -1,6 +1,6 @@
 #pragma once
-#include "stdint.h"
-#include "stdbool.h"
+#include <stdint.h>
+#include <stdbool.h>
 
 // ACPI Table signatures
 #define ACPI_RSDP_SIG "RSD PTR "

drivers/APIC/APIC.c

@@ -1,11 +1,11 @@
-#include "APIC.h"
-#include "../../include/Io.h"
-#include "../../kernel/core/Kernel.h"
-#include "../../kernel/etc/Console.h"
-#include "../../mm/VMem.h"
-#include "../sound/Generic.h"
-#include "Panic.h"
-#include "x64.h"
+#include <APIC.h>
+#include <../../include/Io.h>
+#include <../../kernel/core/Kernel.h>
+#include <../../kernel/etc/Console.h>
+#include <../../mm/VMem.h>
+#include <../sound/Generic.h>
+#include <Panic.h>
+#include <x64.h>
 
 // --- Register Definitions ---
 

drivers/ISA/ISA.c

@@ -1,10 +1,10 @@
-#include "ISA.h"
-#include "../../mm/KernelHeap.h"
-#include "Console.h"
-#include "Io.h"
-#include "SB16.h"
-#include "VMem.h"
-#include "stdint.h"
+#include <ISA.h>
+#include <../../mm/KernelHeap.h>
+#include <Console.h>
+#include <Io.h>
+#include <SB16.h>
+#include <VMem.h>
+#include <stdint.h>
 
 static IsaBus g_isa_bus = {0};
 

drivers/ISA/ISA.h

@@ -1,6 +1,6 @@
 #ifndef VOIDFRAME_ISA_H
 #define VOIDFRAME_ISA_H
-#include "stdint.h"
+#include <stdint.h>
 
 // ISA Bus I/O port ranges
 #define ISA_IO_BASE         0x000

drivers/LPT/LPT.c

@@ -1,8 +1,8 @@
-#include "LPT.h"
-#include "Io.h"
-#include "Console.h"
-#include "ISA.h"
-#include "stdint.h"
+#include <drivers/LPT/LPT.h>
+#include <Io.h>
+#include <Console.h>
+#include <ISA.h>
+#include <stdint.h>
 
 #define LPT_DATA_PORT    0
 #define LPT_STATUS_PORT  1

drivers/OPIC/OPIC.c

@@ -9,13 +9,13 @@
  * like the AMD ÉlanSC520. Do not use this on modern systems.
  */
 
-#include "OPIC.h"
-#include "../../include/Io.h"
-#include "../../kernel/core/Kernel.h"
-#include "../../kernel/etc/Console.h"
-#include "../../mm/VMem.h"
-#include "x64.h"
-#include "Panic.h"
+#include <OPIC.h>
+#include <../../include/Io.h>
+#include <../../kernel/core/Kernel.h>
+#include <../../kernel/etc/Console.h>
+#include <../../mm/VMem.h>
+#include <x64.h>
+#include <Panic.h>
 
 // --- Register Definitions ---
 

drivers/PCI/PCI.c

@@ -1,11 +1,11 @@
-#include "PCI/PCI.h"
-#include "Console.h"
-#include "Io.h"
-#include "TSC.h"
-#include "stdbool.h"
-#include "stdint.h"
-#include "virtio/Virtio.h"
-#include "virtio/VirtioBlk.h"
+#include <PCI/PCI.h>
+#include <Console.h>
+#include <Io.h>
+#include <TSC.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <virtio/Virtio.h>
+#include <virtio/VirtioBlk.h>
 
 static uint8_t target_class;
 static uint8_t target_subclass;

drivers/PCI/PCI.h

@@ -1,7 +1,7 @@
 #ifndef PCI_H
 #define PCI_H
 
-#include "stdint.h" // Or your equivalent for standard types
+#include <stdint.h> // Or your equivalent for standard types
 
 // A structure to hold information about a discovered PCI device
 typedef struct {

drivers/PS2.c

@@ -1,10 +1,10 @@
-#include "Compositor.h"
-#include "PS2.h"
+#include <Compositor.h>
+#include <PS2.h>
 
-#include "APIC/APIC.h"
-#include "Console.h"
-#include "Io.h"
-#include "Vesa.h"
+#include <APIC/APIC.h>
+#include <Console.h>
+#include <Io.h>
+#include <Vesa.h>
 
 // Keyboard buffer (unchanged)
 static volatile char input_buffer[256];

drivers/PS2.h

@@ -1,5 +1,5 @@
-#include "stdint.h"
-#include "Compositor.h"
+#include <stdint.h>
+#include <Compositor.h>
 
 #ifndef PS2_H
 #define PS2_H

drivers/RTC/Rtc.c

@@ -1,6 +1,6 @@
-#include "RTC/Rtc.h"
-#include "Io.h"
-#include "stdbool.h"
+#include <RTC/Rtc.h>
+#include <Io.h>
+#include <stdbool.h>
 
 #define RTC_CMOS_ADDRESS 0x70
 #define RTC_CMOS_DATA 0x71

drivers/RTC/Rtc.h

@@ -1,7 +1,7 @@
 #ifndef VOIDFRAME_RTC_H
 #define VOIDFRAME_RTC_H
 
-#include "stdint.h"
+#include <stdint.h>
 
 // A structure to hold the date and time.
 typedef struct {

drivers/Random.c

@@ -1,6 +1,6 @@
-#include "Random.h"
-#include "../crypto/RNG.h"
-#include "../fs/CharDevice.h"
+#include <Random.h>
+#include <../crypto/RNG.h>
+#include <../fs/CharDevice.h>
 
 static int RandomDevRead(struct CharDevice* dev, void* buffer, uint32_t size) {
     uint8_t* buf = (uint8_t*)buffer;

drivers/Random.h

@@ -1,7 +1,7 @@
 #ifndef VOIDFRAME_RANDOM_H
 #define VOIDFRAME_RANDOM_H
 
-#include "stdint.h"
+#include <stdint.h>
 
 void RandomInit(void);
 

drivers/Serial.c

@@ -1,7 +1,7 @@
-#include "Serial.h"
-#include "Io.h"
-#include "../fs/CharDevice.h"
-#include "../kernel/etc/Console.h"
+#include <Serial.h>
+#include <Io.h>
+#include <../fs/CharDevice.h>
+#include <../kernel/etc/Console.h>
 
 // Serial port register offsets
 #define SERIAL_DATA_REG     0  // Data register (DLAB=0)

drivers/TSC.c

@@ -1,7 +1,7 @@
-#include "TSC.h"
-#include "x64.h"
-#include "Console.h"
-#include "APIC/APIC.h"
+#include <TSC.h>
+#include <x64.h>
+#include <Console.h>
+#include <APIC/APIC.h>
 
 uint64_t tsc_freq_hz = 0;
 static bool tsc_calibrated = false;

drivers/TSC.h

@@ -1,5 +1,5 @@
 #pragma once
-#include "stdint.h"
+#include <stdint.h>
 
 void TSCInit(void);