The Bleed Kernel by Mellurboo

the bleed kernel is an Operating System Kernel written in C and targets the x86_64 platform exclusively.

Requirements

Generally any reasonable hardware should have this.

• CPU - 64-bit Processor*
• RAM - <128MiB
• IOAPIC
• HPET

*your processor must support

• AVX2 (XSAVE, XGETBV, XSETBV)
• SMAP (clac, stac)
• APIC
• PAT
• UMIP (optional, the kernel will use it if it's there)

Bleed Features and why its so cool

• General Hardware Security Featuees (UMIP, NX, WP)
• Mathmatical Features speeding up memory operations (AVX2/SSE)
• Crash Signature for easy debugging
• ACPI Power and Timer Stack using the HPET
• IOACPI for Device Interrupts (over the common and obsolete PIT)
• Kernel and User Memory Management including Seperation
• Round Robin Premptive Scheduler for Multitasking + Context Switching
• ELF (non-relocatable) User Program Execution (yes, it can run doom)
• Unix-Like Devices and Device Handler
• PS/2 Mouse Drivers
• FAT32 Support
• Ext2 Support
• IDE Harddrive Support
• SATA Support
• NVMe Support
• Mount Points for Block Devices

Upcomming Features

• xHCI (HID)
• Relocatable Executables
• Network Drivers
• Symetric Multiprocessing (SMP)
• Task-Specific Framebuffers

Hardware Specifications

I use many machines to test bleed on real hardware so I know it works the way it should.

The Dedicated test machine for the bleed kernel is a Dell Optiplex 3040 with an i5-6500 and 4 GiB of Memory, however the machine I use to make bleed and often also test on is a Custom Build with a Ryzen 5 9600x and 16 GiB of Memory.

Related Projects

The Verdict Shell - Default shell for the Bleed Kernel

libc interface for the Bleed Kernel