MikeOS has moved to BerliOS: http://mikeos.berlios.de

---