BoredOS is an x86_64, FOSS operating system, with extensive documentation and GPLv3 license. It was created from scratch and already has a graphical interface.