Operating system in Ada

I wonder if anyone know any simple design, but a very simple operating system written in Ada Or if possible, give an example, thank you.