The Reliable USB Formatting Utility

EFI FileSystem drivers

Fork of GRUB 2 to add various features.

EXT4, XFS, Btrfs File Browser for Windows

bootloader for NT6+ WIM, VHD and VHDX images

Hardware Boot Selection Switch Using Raspberry Pi PICO

(Inactive, Was a 15 year old child's attempt at making an OS. Checkout AvanaOS, Rewrite of this) This is a New Operating System (Kernel right now). Made completely from scratch, We aim to make a complete OS for Learning purpose

i386 hobby kernel.

Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind

Bare-metal Pong Game on Intel i386

Hobby OS, monolithic kernel, multiboot-compatible

Home-made *nix-like kernel.

A fairly basic kernel written in NASM and C

An operating system kernel written mostly in C for x86-64 CPUs, capable of booting on real hardware. Goal is to implement my own functional Unix-like operating system.

Bootloader grub2

GRUB Inviders game

Make C programs that run without OS

hello world operating system

(Stale) Avana OS (Kernel only right now) is a rewrite of the Aqeous OS, With less bugs, better code, better performance, more logical

A kernel, written in C. My second kernel, cause I wanted to start from a clean slate.