A simple operating system written using the Jack programming language whose compiler can be found here. The specifications of this operating system can be found in "The Elements of Computing Systems" and tests are obtained from their official website.