Some operating systems test and checks written in C, according to Operating Systems Lab in my University (University of Piraues).