A hobby OS written in ADA