FirstOS is a small operating system written from scratch