Robin's repositories
JellyOS
JellyOS | x64 Operating System
Language:C000
littleBootV1
Some uefi stuff
SEDK
SEDK (Simple Extensible Firmware Interface Development Kit)
Language:CMIT000
Simple-64Bit-OperatingSystem
A Simple 64Bit Operating System written in C and Assembler