froggy OS (froggy)