tacOS is a hobby OS kernel with documentation. It's 64-Bit (x86), created from scratch with documentation for aspiring OS developers.