8000
x86 operating system kernel
radix is an x86 operating system kernel currently under development.