An open source front end GUI for OpenOS