Some tools and scripts for the Calaos OS